Rev 3790 | Rev 3906 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
}
break;
void trap_virtual_enable_irqs(uint16_t irqmask)
{
/** @}
*/