Symbol: usb4_switch_check_wakes