Searched refs:xc_domain_debug_control (Results 1 – 3 of 3) sorted by relevance
300 return xc_domain_debug_control(xch, domain_id, op, vcpu); in control_singlestep()
1825 int xc_domain_debug_control(xc_interface *xch,
2231 int xc_domain_debug_control(xc_interface *xc, uint32_t domid, uint32_t sop, uint32_t vcpu) in xc_domain_debug_control() function
Completed in 14 milliseconds