Symbol: xdb_get_request
usr/src/uts/common/xen/io/xdb.c
564
while (xdb_get_request(vdp, reqp)) {
usr/src/uts/common/xen/io/xdb.c
83
static int xdb_get_request(xdb_t *, blkif_request_t *);