Searched refs:VBG_KERNEL_REQUEST (Results 1 – 1 of 1) sorted by relevance
30 #define VBG_KERNEL_REQUEST \ macro56 VBG_KERNEL_REQUEST); in vbg_guest_mappings_init()144 VBG_KERNEL_REQUEST); in vbg_guest_mappings_exit()182 VBG_KERNEL_REQUEST); in vbg_report_guest_info()184 VBG_KERNEL_REQUEST); in vbg_report_guest_info()242 VBG_KERNEL_REQUEST); in vbg_report_driver_status()436 VBG_KERNEL_REQUEST); in vbg_heartbeat_host_config()471 VBG_KERNEL_REQUEST); in vbg_heartbeat_init()543 VBG_KERNEL_REQUEST); in vbg_reset_host_event_filter()588 session_termination ? VBG_KERNEL_REQUEST : in vbg_set_session_event_filter()[all …]
