tb_switch_exit 815 drivers/thunderbolt/domain.c tb_switch_exit(); tb_switch_exit 484 drivers/thunderbolt/tb.h void tb_switch_exit(void);