Lines Matching refs:args
42 int cmd, uintptr_t *args)
44 capaddr_t odptr = args[0];
45 capaddr_t cptr = args[1];
46 uintptr_t rundepth = args[2];
49 capaddr_t vptr = args[3];
50 capaddr_t dptr = args[4];
57 int cmd, uintptr_t *args)
59 enum task_type type = args[0] >> 16;
60 unsigned short weight = args[0] & 0xffff;
61 unsigned long deadline = args[1];
62 unsigned long wcet = args[2];
63 unsigned long period = args[3];
64 unsigned long release = args[4];
72 int cmd, uintptr_t *args)
78 perfmon_counter_t idx = (perfmon_counter_t)(args[0]);
85 uint64_t operation = args[1];
88 perfmon_event_t event = args[2];
89 perfmon_mask_t umask = args[3];
90 bool os = args[4];
96 uint64_t val = args[2];
110 uintptr_t *args,
114 capaddr_t source_cptr = args[0];
116 enum objtype type = args[1] >> 16;
118 uint8_t objbits = (args[1] >> 8) & 0xff;
120 capaddr_t dest_cnode_cptr = args[2];
122 capaddr_t dest_slot = args[3];
124 uint64_t dest_vbits = args[1] & 0xff;
130 static struct sysret handle_retype(struct capability *root, int cmd, uintptr_t *args)
132 return handle_retype_common(root, args, false);
136 uintptr_t *args)
139 enum objtype type = args[0] >> 16;
140 uint8_t objbits = (args[0] >> 8) & 0xff;
141 capaddr_t dest_cnode_cptr = args[1];
142 capaddr_t dest_slot = args[2];
143 uint8_t dest_vbits = args[0] & 0xff;
153 uintptr_t *args, bool mint)
156 capaddr_t destcn_cptr = args[0];
157 capaddr_t source_cptr = args[1];
158 capaddr_t dest_slot = args[2] >> 16;
159 int destcn_vbits = (args[2] >> 8) & 0xff;
160 int source_vbits = args[2] & 0xff;
164 param1 = args[3];
165 param2 = args[4];
174 static struct sysret handle_mint(struct capability *root, int cmd, uintptr_t *args)
176 return copy_or_mint(root, args, true);
180 int cmd, uintptr_t *args)
182 return copy_or_mint(root, args, false);
185 static struct sysret handle_delete(struct capability *root, int cmd, uintptr_t *args)
187 capaddr_t cptr = args[0];
188 int bits = args[1];
193 int cmd, uintptr_t *args)
195 capaddr_t cptr = args[0];
196 int bits = args[1];
201 int cmd, uintptr_t *args)
203 capaddr_t cptr = args[0];
204 int bits = args[1];
209 int cmd, uintptr_t *args)
212 capaddr_t source_cptr = args[0];
213 int source_vbits = args[1] & 0xff;
214 int mcn_vbits = (args[1] >> 8) & 0xff;
215 cslot_t mapping_slot = args[1] >> 16;
216 capaddr_t mcn_addr = args[2];
217 cslot_t dest_slot = args[3] >> 16;
218 uintptr_t pte_count = args[3] & 0xffff;
219 uint64_t *overflow = (uint64_t *)args[4];
228 int cmd, uintptr_t *args)
230 size_t mapping_caddr = args[0];
231 int mapping_bits = args[1];
246 int cmd, uintptr_t *args)
253 int cmd, uintptr_t *args)
259 size_t offset = args[0]; // in pages; of first page to modify from first
261 size_t pages = args[1]; // #pages to modify
262 size_t flags = args[2]; // new flags
263 genvaddr_t va = args[3]; // virtual addr hint
276 int cmd, uintptr_t *args)
280 struct remote_retype_syscall_overflow *rootcap = (void*)args[0];
291 return handle_retype_common(root, &args[1], true);
295 int cmd, uintptr_t *args)
298 if (!access_ok(ACCESS_READ, args[0], sizeof(struct capability))) {
302 struct capability *src = (struct capability *)args[0];
313 int cmd, uintptr_t *args)
315 capaddr_t root_caddr = args[0];
316 capaddr_t target_caddr = args[1];
317 capaddr_t retcn_caddr = args[2];
318 cslot_t retcn_slot = args[3];
319 uint8_t target_vbits = (args[4]>>16)&0xff;
320 uint8_t root_vbits = (args[4]>>8)&0xff;
321 uint8_t retcn_vbits = args[4]&0xff;
328 int cmd, uintptr_t *args)
330 capaddr_t caddr = args[0];
331 uint8_t bits = args[1];
336 int cmd, uintptr_t *args)
338 capaddr_t root_caddr = args[0];
339 uint8_t root_vbits = args[1];
340 capaddr_t target_caddr = args[2];
341 uint8_t target_vbits = args[3];
348 int cmd, uintptr_t *args)
351 if (!access_ok(ACCESS_READ, args[0], sizeof(struct capability))) {
354 struct capability *base = (struct capability*)args[0];
360 int cmd, uintptr_t *args)
362 capaddr_t ret_cn_addr = args[0];
363 capaddr_t ret_cn_bits = args[1];
364 capaddr_t ret_slot = args[2];
369 int cmd, uintptr_t *args)
371 capaddr_t ret_cn_addr = args[0];
372 capaddr_t ret_cn_bits = args[1];
373 capaddr_t ret_slot = args[2];
379 int cmd, uintptr_t *args)
381 capaddr_t ep_caddr = args[0];
386 int cmd, uintptr_t *args)
395 int cmd, uintptr_t *args)
405 uintptr_t *args)
407 capaddr_t cptr = args[0];
408 int bits = args[1];
409 struct capability *retbuf = (void *)args[2];
415 int cmd, uintptr_t *args)
417 return monitor_identify_cap_common(kernel_cap, &dcb_current->cspace.cap, args);
421 int cmd, uintptr_t *args)
425 capaddr_t root_caddr = args[0];
426 capaddr_t root_vbits = args[1];
436 return monitor_identify_cap_common(kernel_cap, root, &args[2]);
440 int cmd, uintptr_t *args)
442 capaddr_t caddr = args[0];
443 uint8_t vbits = args[1];
444 uint8_t mask = args[2];
450 int cmd, uintptr_t *args)
452 capaddr_t root_addr = args[0];
453 int root_bits = args[1];
454 capaddr_t cptr = args[2];
455 int bits = args[3];
456 uint8_t relations = args[4] & 0xFF;
457 uint8_t mask = (args[4] >> 8) & 0xFF;
465 int cmd, uintptr_t *args)
468 capaddr_t cnode_cptr = args[0];
469 int cnode_vbits = args[1];
470 size_t slot = args[2];
471 coreid_t owner = args[3];
473 (struct capability*)args[4];
494 int cmd, uintptr_t *args)
496 capaddr_t cnode_cptr = args[0];
497 int cnode_vbits = args[1];
498 size_t slot = args[2];
501 if (!access_ok(ACCESS_READ, args[3], sizeof(struct capability))) {
505 struct capability *src = (struct capability *)args[3];
512 int cmd, uintptr_t *args)
514 capaddr_t cptr = args[0];
515 int bits = args[1];
521 int cmd, uintptr_t *args)
523 uint64_t synctime = (uint64_t)args[0] << 32;
524 synctime |= (uint64_t)args[1];
529 int cmd, uintptr_t *args)
542 static struct sysret handle_io(struct capability *to, int cmd, uintptr_t *args)
544 uint32_t port = args[0];
545 uint32_t data = args[1];
551 int cmd, uintptr_t *args)
553 capaddr_t cptr = args[0];
554 domainid_t domain_id = args[1];
560 int cmd, uintptr_t *args)
562 capaddr_t root_addr = args[0];
563 uint8_t root_bits = args[1];
564 capaddr_t cptr = args[2];
565 uint8_t bits = args[3];
571 int cmd, uintptr_t *args)
573 capaddr_t root_addr = args[0];
574 uint8_t root_bits = args[1];
575 capaddr_t cptr = args[2];
576 uint8_t bits = args[3];
577 coreid_t owner = args[4];
583 int cmd, uintptr_t *args)
585 capaddr_t root_addr = args[0];
586 uint8_t root_bits = args[1];
587 capaddr_t cptr = args[2];
588 uint8_t bits = args[3];
594 int cmd, uintptr_t *args)
596 capaddr_t root_addr = args[0];
597 uint8_t root_bits = args[1];
598 capaddr_t cptr = args[2];
599 uint8_t bits = args[3];
608 int cmd, uintptr_t *args)
614 capaddr_t cptr = args[0];
632 uintptr_t *args)
643 uintptr_t *args)
652 uintptr_t *args)
654 return SYSRET(irq_connect(to, args[0]));
658 uintptr_t *args)
668 uintptr_t *args)
670 return SYSRET(irq_table_alloc_dest_cap(args[0],args[1],args[2]));
673 static struct sysret handle_irq_table_set(struct capability *to, int cmd, uintptr_t *args)
675 return SYSRET(irq_table_set(args[0], args[1]));
678 static struct sysret handle_irq_table_delete(struct capability *to, int cmd, uintptr_t *args)
680 return SYSRET(irq_table_delete(args[0]));
687 uintptr_t *args)
689 idcap_id_t *idp = (idcap_id_t *) args[0];
700 uintptr_t *args)
702 coreid_t destination = args[0];
711 uintptr_t *args)
713 coreid_t destination = args[0];
723 uintptr_t *args)
734 int cmd, uintptr_t *args)
737 capaddr_t ep = args[0];
738 int chanid = args[1];
743 int cmd, uintptr_t *args)
751 int cmd, uintptr_t *args)
758 int cmd, uintptr_t *args)
772 int cmd, uintptr_t *args)
782 int cmd, uintptr_t *args)
784 uintptr_t kcb_addr = args[0];
791 int cmd, uintptr_t *args)
794 uintptr_t kcb_addr = args[0];
801 int cmd, uintptr_t *args)
804 return sys_kernel_suspend_kcb_sched((bool)args[0]);
808 int cmd, uintptr_t *args)
814 int cmd, uintptr_t *args);
941 struct sysret sys_syscall(uintptr_t arg0, uintptr_t arg1, uintptr_t *args,
943 struct sysret sys_syscall(uintptr_t arg0, uintptr_t arg1, uintptr_t *args,
980 capaddr_t send_cptr = args[0];
993 retval.error = lmp_deliver(to, dcb_current, &args[1], length_words,
1064 retval = invocation(to, cmd, args);
1080 retval.error = sys_print((char *)arg1, args[0]);
1108 apic_send_std_ipi(args[0], args[1], args[2]);
1112 debugregs_set_breakpoint(args[0], args[1], args[2]);
1121 uint8_t bits = args[2] & 0xff;
1122 uint8_t cap_bits = (args[2] >> 8) & 0xff;
1123 uint8_t recv_slot = (args[2] >> 16) & 0xff;
1128 (uint64_t)args[1], (uint64_t)args[2]);
1131 args[0], cap_bits, &recv_cnode_cap, CAPRIGHTS_READ_WRITE);
1146 retval.error = caps_create_new(ObjType_DevFrame, args[1], bits,