/* The Mach syscalls are in <mach/syscall_sw.h>. */