Searched refs:xc_monitor_mov_to_msr (Results 1 – 2 of 2) sorted by relevance
92 int xc_monitor_mov_to_msr(xc_interface *xch, uint32_t domain_id, uint32_t msr, in xc_monitor_mov_to_msr() function
2051 int xc_monitor_mov_to_msr(xc_interface *xch, uint32_t domain_id, uint32_t msr,
Completed in 6 milliseconds