USB1_IRQHandler, // 63: USB1 interrupt\r
USB1_NEEDCLK_IRQHandler, // 64: USB1 activity\r
SEC_HYPERVISOR_CALL_IRQHandler, // 65: SEC_HYPERVISOR_CALL interrupt\r
USB1_IRQHandler, // 63: USB1 interrupt\r
USB1_NEEDCLK_IRQHandler, // 64: USB1 activity\r
SEC_HYPERVISOR_CALL_IRQHandler, // 65: SEC_HYPERVISOR_CALL interrupt\r