Searched refs:xc_monitor_privileged_call (Results 1 – 3 of 3) sorted by relevance
206 int xc_monitor_privileged_call(xc_interface *xch, uint32_t domain_id, in xc_monitor_privileged_call() function
621 rc = xc_monitor_privileged_call(xch, domain_id, 1); in main()659 rc = xc_monitor_privileged_call(xch, domain_id, 0); in main()
2063 int xc_monitor_privileged_call(xc_interface *xch, uint32_t domain_id,
Completed in 7 milliseconds