Lines Matching refs:XGERR
174 XGERR("Unable to pin domctl arg. p:%p sz:%d errno:%d\n", in _domctl_hcall()
208 XGERR("Hyp is NOT enabled for gdbsx\n"); in _check_hyp()
213 XGERR("Unable to pin xen_caps in memory. errno:%d\n", errno); in _check_hyp()
227 XGERR("Failed xen_version hcall. errno:%d\n", errno); in _check_hyp()
233 XGERR("32bit hyp can only run 32bit guests\n"); in _check_hyp()
247 XGERR("Invalid domain (state dying)...\n"); in _domain_ok()
259 XGERR("Unable to unpause domain:%d errno:%d\n", _dom_id, errno); in _unpause_domain()
279 XGERR("Unable to pin domctl in memory. errno:%d\n", errno); in xg_attach()
286 XGERR("Unable to pause domain:%d\n", _dom_id); in xg_attach()
293 XGERR("Unable to set domain to debug mode: errno:%d\n", errno); in xg_attach()
300 XGERR("Unable to get domain info: domid:%d errno:%d\n", in xg_attach()
322 XGERR("ERROR: Unable to get domain paused info:%d\n", _dom_id); in _domain_is_paused()
335 XGERR("Unable to reset domain debug mode: errno:%d\n", errno); in xg_detach_deinit()
389 XGERR("Failed hcall to get vcpu ctxt for TF. errno:%d\n",errno); in _change_TF()
405 XGERR("Failed hcall to set vcpu ctxt for TF. errno:%d\n",errno); in _change_TF()
424 XGERR("Unable to do:%d vcpu:%d errno:%d\n", in _allbutone_vcpu()
476 XGERR("ERROR: Unable to check vcpu bp status:%d errno:%d\n", in _vcpu_in_bp()
685 XGERR("Failed hcall to get vcpu ctxt. errno:%d\n", errno); in _get_vcpu_ctxt()
708 XGERR("regs got: %d. Expected GPRS:%d\n", which_regs, XG_GPRS); in xg_regs_read()
745 XGERR("regs got: %d. Expected GPRS:%d\n", which_regs, XG_GPRS); in xg_regs_write()
761 XGERR("Failed hcall to set vcpu ctxt. errno:%d\n", errno); in xg_regs_write()
822 XGERR("ERROR: failed to write bytes to %llx. errno:%d rc:%d\n", in xg_write_mem()