pub unsafe extern "C" fn xc_monitor_singlestep( xch: *mut xc_interface, domain_id: u32, enable: bool, ) -> c_int