#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 =)
}