Searched refs:xc_monitor_software_breakpoint (Results 1 – 3 of 3) sorted by relevance
108 int xc_monitor_software_breakpoint(xc_interface *xch, uint32_t domain_id, in xc_monitor_software_breakpoint() function
603 rc = xc_monitor_software_breakpoint(xch, domain_id, 1); in main()672 rc = xc_monitor_software_breakpoint(xch, domain_id, 0); in main()
2069 int xc_monitor_software_breakpoint(xc_interface *xch, uint32_t domain_id,
Completed in 11 milliseconds