/** * @file * * interrrupt handlers: * * exc0() - exc31() call handle_exception() * * int128() - int160() call hadnle_interrupt() */ void exc0(); void exc1(); void exc2(); void exc3(); void exc4(); void exc5(); void exc6(); void exc7(); void exc8(); void exc9(); void exc10(); void exc11(); void exc12(); void exc13(); void exc14(); void exc15(); void exc16(); void exc17(); void exc18(); void exc19(); void exc20(); void exc21(); void exc22(); void exc23(); void exc24(); void exc25(); void exc26(); void exc27(); void exc28(); void exc29(); void exc30(); void exc31(); // void int128(); void int129(); void int130(); void int131(); void int132(); void int133(); void int134(); void int135(); void int136(); void int137(); void int138(); void int139(); void int140(); void int141(); void int142(); void int143(); void int144(); void int145(); void int146(); void int147(); void int148(); void int149(); void int150(); void int151(); void int152(); void int153(); void int154(); void int155(); void int156(); void int157(); void int158(); void int159(); void int160(); // void int255();