Symbol: xdb_close_device
usr/src/uts/common/xen/io/xdb.c
1379
xdb_close_device(vdp);
usr/src/uts/common/xen/io/xdb.c
1390
xdb_close_device(vdp);
usr/src/uts/common/xen/io/xdb.c
1501
xdb_close_device(vdp);