kmdb_kdi_get_unload_request
kmdb_kdi_get_unload_request()) {
if (kmdb_kdi_get_unload_request() ||
return (kmdb_kdi_get_unload_request() ||
extern int kmdb_kdi_get_unload_request(void); /* Driver OK */
if (kmdb_kdi_get_unload_request())
if (status == MDB_ERR_QUIT && kmdb_kdi_get_unload_request()) {