Searched refs:VBG_KERNEL_REQUEST (Results 1 – 1 of 1) sorted by relevance
31 #define VBG_KERNEL_REQUEST \ macro56 VBG_KERNEL_REQUEST); in vbg_guest_mappings_init()144 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()244 VBG_KERNEL_REQUEST); in vbg_report_driver_status()443 VBG_KERNEL_REQUEST); in vbg_heartbeat_host_config()480 VBG_KERNEL_REQUEST); in vbg_heartbeat_init()556 VBG_KERNEL_REQUEST); in vbg_reset_host_event_filter()602 session_termination ? VBG_KERNEL_REQUEST : in vbg_set_session_event_filter()[all …]