haiku/headers/private/kernel/platform/sbi
..
sbi_syscalls.h