vmi_flags_addr_defer  460 arch/x86/kernel/vmi_32.c 	vmi_ops.update_pte(ptep, vmi_flags_addr_defer(mm, addr, VMI_PAGE_PT, 0));
vmi_flags_addr_defer  506 arch/x86/kernel/vmi_32.c 	vmi_ops.set_pte(pte, ptep, vmi_flags_addr_defer(mm, addr, VMI_PAGE_PT, 1));