mtip_restart_port 563 drivers/block/mtip32xx/mtip32xx.c mtip_restart_port(port); mtip_restart_port 866 drivers/block/mtip32xx/mtip32xx.c mtip_restart_port(port);