xen_extend_mmuext_op  722 arch/x86/xen/mmu_pv.c 	xen_extend_mmuext_op(&op);
xen_extend_mmuext_op 1411 arch/x86/xen/mmu_pv.c 	xen_extend_mmuext_op(&op);