Lines Matching refs:syscall
246 uint32_t syscall = *(uint32_t *)(iframe->pc-4) & 0x00ffffff;
247 TRACE("syscall number: %d\n", syscall);
250 if (syscall < kSyscallCount) {
251 TRACE("syscall(%s,%d)\n",
252 kExtendedSyscallInfos[syscall].name,
253 kExtendedSyscallInfos[syscall].parameter_count);
255 int argSize = kSyscallInfos[syscall].parameter_size;
261 dprintf("can't read syscall arguments on user stack\n");
275 syscall_dispatcher(syscall, (void*)args, &returnValue);