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)