diff options
Diffstat (limited to 'src/target/x86_32_common.c')
-rw-r--r-- | src/target/x86_32_common.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/target/x86_32_common.c b/src/target/x86_32_common.c index d0b0e37..b7dff23 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); |