patch_internal    142 arch/x86/kernel/vmi_32.c 			return patch_internal(VMI_CALL_DisableInterrupts, len,
patch_internal    145 arch/x86/kernel/vmi_32.c 			return patch_internal(VMI_CALL_EnableInterrupts, len,
patch_internal    148 arch/x86/kernel/vmi_32.c 			return patch_internal(VMI_CALL_SetInterruptMask, len,
patch_internal    151 arch/x86/kernel/vmi_32.c 			return patch_internal(VMI_CALL_GetInterruptMask, len,
patch_internal    154 arch/x86/kernel/vmi_32.c 			return patch_internal(VMI_CALL_IRET, len, insns, ip);
patch_internal    156 arch/x86/kernel/vmi_32.c 			return patch_internal(VMI_CALL_SYSEXIT, len, insns, ip);