1 2 3 4 5 6 7
#include <kernel/console.H> extern "C" void kernel_execute_systemcall() { //printk("Syscall.\n"); }