syscall
97: syscall; \
97: syscall; \
ret = syscall(SYS_getrandom, buf, len, GRND_NONBLOCK);
if (syscall(SYS__sysctl, &args) != 0)
(int)syscall(SYS_getrandom, currentTarget, bytesToWrite,
99: syscall ;\
99: syscall; \
int syscall = grab_syscall(pid, pty_buffer(&pty));
switch (syscall) {
printf(" pledged_syscall=%d", syscall);
void syscall(u_int64_t, struct trapframe *);
void syscall(struct trapframe *);
void syscall(struct trapframe *frame);
IDTVEC(rsvd), IDTVEC(fpu), IDTVEC(align), IDTVEC(syscall), IDTVEC(mchk),
setgate(&idt[128], &IDTVEC(syscall), 0, SDT_SYS386IGT, SEL_UPL, GCODE_SEL);
void syscall(struct trapframe *);
syscall(frame);
void syscall(struct trapframe *); /* syscall.c */
void syscall(struct proc *, struct trapframe *);
syscall(p, tf);
void syscall(struct trapframe *, register_t code, register_t pc);
ktrpledge(struct proc *p, int error, uint64_t code, int syscall)
kp.syscall = syscall;
ktrpinsyscall(struct proc *p, int error, int syscall, vaddr_t addr)
kp.syscall = syscall;
int syscall;
int syscall;
DT_ENTER(syscall, code, callp->sy_argsize, argp);
DT_LEAVE(syscall, code, error, retval[0], retval[1]);
DT_LEAVE(syscall, code, 0, child_retval[0], child_retval[1]);
if (pledge->syscall >= SYS_MAXSYSCALL || pledge->syscall < 0)
(void)printf("[%d]", pledge->syscall);
(void)printf("%s", syscallnames[pledge->syscall]);
if (pinsyscall->syscall >= SYS_MAXSYSCALL || pinsyscall->syscall < 0)
(void)printf("[%d]", pinsyscall->syscall);
(void)printf("%s", syscallnames[pinsyscall->syscall]);