mrvl_deinit       916 drivers/bluetooth/hci_ldisc.c 	mrvl_deinit();
mrvl_deinit       193 drivers/bluetooth/hci_uart.h int mrvl_deinit(void);