x86/processor/decode.c

27 #define IA32_PDE_SIZE(pde) (pde & BIT(7))
28 #define IA32_PDE_PRESENT(pde) (pde & BIT(0))
30 #define IA32_PSE_ADDR(pde) (pde & 0xFFC00000)
151     uint32_t pde = guest_get_phys_word(vcpu->vm, cr3 + pdi * 4);
153     assert(IA32_PDE_PRESENT(pde)); /* WTF? */
155     if (IA32_PDE_SIZE(pde)) {
157         instr_phys = (uintptr_t)IA32_PSE_ADDR(pde) + (eip & 0x3FFFFF);
161                                            (uintptr_t)IA32_PTE_ADDR(pde) + pti * 4);