Symbol: xdb_push_response
usr/src/uts/common/xen/io/xdb.c
473
if (xdb_push_response(vdp, ddi_get64(acchdl, &req->id),
usr/src/uts/common/xen/io/xdb.c
708
if (xdb_push_response(vdp, xreq->xr_id, xreq->xr_op, bioerr))
usr/src/uts/common/xen/io/xdb.c
82
static int xdb_push_response(xdb_t *, uint64_t, uint8_t, uint16_t);