Lines Matching defs:args
88 arch_int_init(kernel_args *args)
95 arch_int_init_post_vm(kernel_args *args)
98 if (strcmp(args->arch_args.interrupt_controller.kind, INTC_KIND_GICV2) == 0) {
100 args->arch_args.interrupt_controller.regs1.start,
101 args->arch_args.interrupt_controller.regs2.start);
112 arch_int_init_io(kernel_args* args)
119 arch_int_init_post_device_manager(struct kernel_args *args)
331 uint64_t args[20];
337 memset(args, 0, sizeof(args));
338 memcpy(args, frame->x, (count < 8 ? count : 8) * 8);
342 || user_memcpy(&args[8], (void*)frame->sp, (count - 8) * 8) != B_OK) {
353 syscall_dispatcher(syscall, (void*)args, &frame->x[0]);