#include <zinnia/syscall.h>
#include <arch/archctl.h>

struct syscall_ret sys_archctl(uintptr_t op, uintptr_t arg) {
    return arch_archctl(op, arg);
}