Function _xtos_dispatch_level4_interrupts

pub unsafe extern "C" fn _xtos_dispatch_level4_interrupts()