Searched refs:xc_monitor_write_ctrlreg (Results 1 – 3 of 3) sorted by relevance
| /tools/misc/ |
| A D | xen-access.c | 641 rc = xc_monitor_write_ctrlreg(xch, domain_id, VM_EVENT_X86_CR4, 1, 1, in main()
667 rc = xc_monitor_write_ctrlreg(xch, domain_id, VM_EVENT_X86_CR4, 0, 0, 0, 0); in main()
|
| /tools/libs/ctrl/ |
| A D | xc_monitor.c | 71 int xc_monitor_write_ctrlreg(xc_interface *xch, uint32_t domain_id, in xc_monitor_write_ctrlreg() function
|
| /tools/include/ |
| A D | xenctrl.h | 2085 int xc_monitor_write_ctrlreg(xc_interface *xch, uint32_t domain_id,
|
Completed in 24 milliseconds