Files
jsix_import/src/kernel/syscall.h
Justin C. Miller cef0a71bce Use uintptr_t instead of addr_t
They're never actually going to change independently, and it's also
brining in kutil headers more places than they should be.
2018-09-20 09:37:30 -07:00

21 lines
228 B
C

#pragma once
#include <stdint.h>
struct cpu_state;
enum class syscall : uint64_t
{
noop,
debug,
message,
pause,
sleep,
last_syscall
};
void syscall_enable();
uintptr_t syscall_dispatch(uintptr_t, const cpu_state &);