Searched refs:xc_monitor_software_breakpoint (Results 1 – 3 of 3) sorted by relevance
107 int xc_monitor_software_breakpoint(xc_interface *xch, uint32_t domain_id, in xc_monitor_software_breakpoint() function
581 rc = xc_monitor_software_breakpoint(xch, domain_id, 1); in main()650 rc = xc_monitor_software_breakpoint(xch, domain_id, 0); in main()
2054 int xc_monitor_software_breakpoint(xc_interface *xch, uint32_t domain_id,
Completed in 12 milliseconds