vmi_get_function  848 arch/x86/kernel/vmi_32.c 	vmi_ops.set_pte = vmi_get_function(VMI_CALL_SetPxELong);
vmi_get_function  849 arch/x86/kernel/vmi_32.c 	vmi_ops.update_pte = vmi_get_function(VMI_CALL_UpdatePxELong);
vmi_get_function  851 arch/x86/kernel/vmi_32.c 	vmi_ops.set_pte = vmi_get_function(VMI_CALL_SetPxE);
vmi_get_function  852 arch/x86/kernel/vmi_32.c 	vmi_ops.update_pte = vmi_get_function(VMI_CALL_UpdatePxE);
vmi_get_function  873 arch/x86/kernel/vmi_32.c 	vmi_ops.allocate_page = vmi_get_function(VMI_CALL_AllocatePage);
vmi_get_function  880 arch/x86/kernel/vmi_32.c 	vmi_ops.release_page = vmi_get_function(VMI_CALL_ReleasePage);
vmi_get_function  887 arch/x86/kernel/vmi_32.c 	vmi_ops.set_linear_mapping = vmi_get_function(VMI_CALL_SetLinearMapping);
vmi_get_function  919 arch/x86/kernel/vmi_32.c 			vmi_get_function(VMI_CALL_GetCycleCounter);
vmi_get_function  921 arch/x86/kernel/vmi_32.c 			vmi_get_function(VMI_CALL_GetWallclockTime);
vmi_get_function  923 arch/x86/kernel/vmi_32.c 			vmi_get_function(VMI_CALL_WallclockUpdated);
vmi_get_function  924 arch/x86/kernel/vmi_32.c 		vmi_timer_ops.set_alarm = vmi_get_function(VMI_CALL_SetAlarm);
vmi_get_function  926 arch/x86/kernel/vmi_32.c 			 vmi_get_function(VMI_CALL_CancelAlarm);