Searched refs:VBG_KERNEL_REQUEST (Results 1 – 1 of 1) sorted by relevance
31 #define VBG_KERNEL_REQUEST \ macro57 VBG_KERNEL_REQUEST); in vbg_guest_mappings_init()145 VBG_KERNEL_REQUEST); in vbg_guest_mappings_exit()183 VBG_KERNEL_REQUEST); in vbg_report_guest_info()185 VBG_KERNEL_REQUEST); in vbg_report_guest_info()243 VBG_KERNEL_REQUEST); in vbg_report_driver_status()437 VBG_KERNEL_REQUEST); in vbg_heartbeat_host_config()472 VBG_KERNEL_REQUEST); in vbg_heartbeat_init()544 VBG_KERNEL_REQUEST); in vbg_reset_host_event_filter()589 session_termination ? VBG_KERNEL_REQUEST : in vbg_set_session_event_filter()[all …]