vmi_flags_addr    454 arch/x86/kernel/vmi_32.c 	vmi_ops.update_pte(ptep, vmi_flags_addr(mm, addr, VMI_PAGE_PT, 0));
vmi_flags_addr    473 arch/x86/kernel/vmi_32.c 	vmi_ops.set_pte(pte, ptep, vmi_flags_addr(mm, addr, VMI_PAGE_PT, 0));
vmi_flags_addr    521 arch/x86/kernel/vmi_32.c 	vmi_ops.set_pte(pte, ptep, vmi_flags_addr(mm, addr, VMI_PAGE_PT, 0));