X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;f=src%2Ftarget%2Fx86_32_common.c;h=b7dff2361391e51400a6437ed45c731ba01b611e;hb=b159f5cdedd70fff9309722e927be670845f4df5;hp=d0b0e37e3769e59a197f8de49429c3d2aa7ba5e5;hpb=20b29b7767097f999fe2eb4f7fb6c2917e9f66a6;p=openocd.git

diff --git a/src/target/x86_32_common.c b/src/target/x86_32_common.c
index d0b0e37e37..b7dff23613 100644
--- a/src/target/x86_32_common.c
+++ b/src/target/x86_32_common.c
@@ -472,10 +472,10 @@ int calcaddr_physfromlin(struct target *t, target_addr_t addr, target_addr_t *ph
 	}
 
 	uint32_t cr4 = buf_get_u32(x86_32->cache->reg_list[CR4].value, 0, 32);
-	bool isPAE = cr4 & 0x00000020; /* PAE - Physical Address Extension */
+	bool is_pae = cr4 & 0x00000020; /* PAE - Physical Address Extension */
 
 	uint32_t cr3 = buf_get_u32(x86_32->cache->reg_list[CR3].value, 0, 32);
-	if (isPAE) {
+	if (is_pae) {
 		uint32_t pdpt_base = cr3 & 0xFFFFF000; /* lower 12 bits of CR3 must always be 0 */
 		uint32_t pdpt_index = (addr & 0xC0000000) >> 30; /* A[31:30] index to PDPT */
 		uint32_t pdpt_addr = pdpt_base + (8 * pdpt_index);