VMI_PAGE_PT 454 arch/x86/kernel/vmi_32.c vmi_ops.update_pte(ptep, vmi_flags_addr(mm, addr, VMI_PAGE_PT, 0)); VMI_PAGE_PT 460 arch/x86/kernel/vmi_32.c vmi_ops.update_pte(ptep, vmi_flags_addr_defer(mm, addr, VMI_PAGE_PT, 0)); VMI_PAGE_PT 467 arch/x86/kernel/vmi_32.c vmi_ops.set_pte(pte, ptep, VMI_PAGE_PT); VMI_PAGE_PT 473 arch/x86/kernel/vmi_32.c vmi_ops.set_pte(pte, ptep, vmi_flags_addr(mm, addr, VMI_PAGE_PT, 0)); VMI_PAGE_PT 500 arch/x86/kernel/vmi_32.c vmi_ops.update_pte(ptep, VMI_PAGE_PT); VMI_PAGE_PT 506 arch/x86/kernel/vmi_32.c vmi_ops.set_pte(pte, ptep, vmi_flags_addr_defer(mm, addr, VMI_PAGE_PT, 1)); VMI_PAGE_PT 521 arch/x86/kernel/vmi_32.c vmi_ops.set_pte(pte, ptep, vmi_flags_addr(mm, addr, VMI_PAGE_PT, 0)); VMI_PAGE_PT 131 include/asm-x86/vmi.h #define VMI_PAGE_L1 (VMI_PAGE_PT | VMI_PAGE_PAE | VMI_PAGE_ZEROED) VMI_PAGE_PT 134 include/asm-x86/vmi.h #define VMI_PAGE_L1 (VMI_PAGE_PT | VMI_PAGE_ZEROED)