Searched refs:xc_monitor_write_ctrlreg (Results 1 – 3 of 3) sorted by relevance
| /xen/tools/libxc/ |
| A D | xc_monitor.c | 71 int xc_monitor_write_ctrlreg(xc_interface *xch, uint32_t domain_id, in xc_monitor_write_ctrlreg() function
|
| /xen/tools/tests/xen-access/ |
| A D | xen-access.c | 654 rc = xc_monitor_write_ctrlreg(xch, domain_id, VM_EVENT_X86_CR4, 1, 1, in main()
680 rc = xc_monitor_write_ctrlreg(xch, domain_id, VM_EVENT_X86_CR4, 0, 0, 0, 0); in main()
|
| /xen/tools/libxc/include/ |
| A D | xenctrl.h | 2058 int xc_monitor_write_ctrlreg(xc_interface *xch, uint32_t domain_id,
|
Completed in 9 milliseconds