Searched refs:xc_monitor_write_ctrlreg (Results 1 – 3 of 3) sorted by relevance
71 int xc_monitor_write_ctrlreg(xc_interface *xch, uint32_t domain_id, in xc_monitor_write_ctrlreg() function
632 rc = xc_monitor_write_ctrlreg(xch, domain_id, VM_EVENT_X86_CR4, 1, 1, in main()
2043 int xc_monitor_write_ctrlreg(xc_interface *xch, uint32_t domain_id,
Completed in 8 milliseconds