#include <stdint.h>
#include <dbg.h>

extern "C" void c_swi_handler(uint32_t type) {
    printk("Serving SWI # ");
    printkl(itoa(type));
    // TODO: to be done =)
}