1#include <console/printf.h>
2#include <stdint.h>
3
4void syscall_handler(uint64_t num, uint64_t arg1, uint64_t arg2, uint64_t arg3,
5 uint64_t arg4, uint64_t arg5) {
6 switch (num) {
7 case 1: printf(format: "%s", (char *) arg1); break;
8 default: printf(format: "Unknown syscall: %lu\n", num); break;
9 }
10}
11