Lines Matching refs:args
51 static struct sysret handle_noop(struct capability *to, int cmd, uintptr_t *args)
58 int cmd, uintptr_t *args)
60 capaddr_t cptr = args[0];
61 uint8_t level = args[1];
62 capaddr_t vptr = args[2] & 0xffffffff;
63 capaddr_t dptr = args[3] & 0xffffffff;
64 bool run = args[4];
65 capaddr_t odptr = args[5] & 0xffffffff;
74 int cmd, uintptr_t *args)
76 enum task_type type = args[0];
77 unsigned long deadline = args[1];
78 unsigned long wcet = args[2];
79 unsigned long period = args[3];
80 unsigned long release = args[4];
81 unsigned short weight = args[5];
91 uintptr_t *args,
94 capaddr_t source_croot = args[0] >> 32;
95 capaddr_t source_cptr = args[0] & 0xffffffff;
96 uint64_t offset = args[1];
97 uint64_t type = args[2];
98 uint64_t objsize = args[3];
99 uint64_t objcount = args[4];
100 capaddr_t dest_cspace_cptr= args[5] >> 32;
101 capaddr_t dest_cnode_cptr = args[5] & 0xffffffff;
102 uint64_t dest_slot = args[6];
103 uint64_t dest_cnode_level = args[7];
115 int cmd, uintptr_t *args)
117 return handle_retype_common(root, args, false);
121 int cmd, uintptr_t *args)
124 enum objtype type = args[0];
125 size_t objsize = args[1];
126 capaddr_t dest_cnode_cptr = args[2];
127 uint8_t dest_level = args[3];
128 cslot_t dest_slot = args[4];
139 int cmd, uintptr_t *args)
142 uint64_t slot = args[0];
143 capaddr_t source_root_cptr= args[1] >> 32;
144 capaddr_t source_cptr = args[1] & 0xffffffff;
145 uint8_t source_level = args[2];
146 uint64_t flags = args[3];
147 uint64_t offset = args[4];
148 uint64_t pte_count = args[5];
149 capaddr_t mapping_croot = args[6] >> 32;
150 capaddr_t mapping_cnptr = args[6] & 0xffffffff;
151 uint8_t mapping_cn_level= args[7];
152 cslot_t mapping_slot = args[8];
167 uintptr_t *args, bool mint)
170 capaddr_t dest_cspace_cptr = args[0];
171 capaddr_t destcn_cptr = args[1];
172 uint64_t dest_slot = args[2];
173 capaddr_t source_croot_ptr = args[3];
174 capaddr_t source_cptr = args[4];
175 uint8_t destcn_level = args[5];
176 uint8_t source_level = args[6];
180 param1 = args[7];
181 param2 = args[8];
196 int cmd, uintptr_t *args)
198 return copy_or_mint(root, args, true);
202 int cmd, uintptr_t *args)
204 return copy_or_mint(root, args, false);
208 int cmd, uintptr_t *args)
210 capaddr_t cptr = args[0];
211 uint8_t level = args[1];
216 int cmd, uintptr_t *args)
218 capaddr_t cptr = args[0];
219 uint8_t level = args[1];
224 int cmd, uintptr_t *args)
226 capaddr_t cptr = args[0];
227 uint8_t level = args[1];
231 int cmd, uintptr_t *args)
233 size_t entry = args[0];
234 size_t pages = args[1];
235 size_t flags = args[2];
241 int cmd, uintptr_t *args)
247 int cmd, uintptr_t *args)
249 capaddr_t newroot_ptr = args[0];
250 capaddr_t retcn_ptr = args[1];
251 cslot_t retslot = args[2];
256 int cmd, uintptr_t *args)
258 capaddr_t cptr = args[0];
259 uint8_t level = args[1];
260 struct capability *cap = (struct capability*)args[2];
266 int cmd, uintptr_t *args)
268 capaddr_t cptr = args[0];
269 uint8_t level = args[1];
286 int cmd, uintptr_t *args)
293 int cmd, uintptr_t *args)
299 size_t offset = args[0]; // in pages; of first page to modify from first
301 size_t pages = args[1]; // #pages to modify
302 size_t flags = args[2]; // new flags
303 genvaddr_t va = args[3]; // virtual addr hint
314 int cmd, uintptr_t *args)
317 uint64_t slot = args[0];
318 capaddr_t source_cptr = args[1];
319 int source_level = args[2];
320 uint64_t flags = args[3];
321 uint64_t offset = args[4];
322 uint64_t pte_count = args[5];
323 capaddr_t mapping_cnptr = args[6];
324 cslot_t mapping_slot = args[7];
325 uint8_t mapping_cnlevel=args[8];
337 int cmd, uintptr_t *args)
341 capaddr_t source_cptr = args[0];
342 int source_level = args[1];
343 uint64_t start = args[2];
344 uint64_t end = args[3];
345 uint64_t flags = args[4];
346 capaddr_t src_mcn0_cptr = (args[5] >> CPTR_BITS) & MASK(CPTR_BITS);
347 capaddr_t src_mcn1_cptr = args[5] & MASK(CPTR_BITS);
348 capaddr_t dst_mcn0_cptr = (args[6] >> CPTR_BITS) & MASK(CPTR_BITS);
349 capaddr_t dst_mcn1_cptr = args[6] & MASK(CPTR_BITS);
463 int cmd, uintptr_t *args)
465 return handle_retype_common(&dcb_current->cspace.cap, args, true);
469 int cmd, uintptr_t *args)
471 struct capability *src = (struct capability *)args;
482 int cmd, uintptr_t *args)
484 struct capability *src = (struct capability*)args;
487 uintptr_t offset = args[pos];
488 uintptr_t objsize = args[pos + 1];
489 uintptr_t count = args[pos + 2];
495 int cmd, uintptr_t *args)
497 capaddr_t root_caddr = args[0];
498 uint8_t root_level = args[1];
499 capaddr_t target_caddr = args[2];
500 uint8_t target_level = args[3];
501 capaddr_t retcn_caddr = args[4];
502 uint8_t retcn_level = args[5];
503 cslot_t ret_slot = args[6];
511 int cmd, uintptr_t *args)
513 capaddr_t caddr = args[0];
514 uint8_t level = args[1];
519 int cmd, uintptr_t *args)
521 capaddr_t root_caddr = args[0];
522 uint8_t root_level = args[1];
523 capaddr_t target_caddr = args[2];
524 uint8_t target_level = args[3];
531 int cmd, uintptr_t *args)
533 struct capability *base = (struct capability*)args;
539 int cmd, uintptr_t *args)
541 capaddr_t ret_cn_addr = args[0];
542 capaddr_t ret_cn_level = args[1];
543 capaddr_t ret_slot = args[2];
549 int cmd, uintptr_t *args)
551 capaddr_t ret_cn_addr = args[0];
552 capaddr_t ret_cn_level = args[1];
553 capaddr_t ret_slot = args[2];
559 int cmd, uintptr_t *args)
561 capaddr_t ep_caddr = args[0];
570 int cmd, uintptr_t *args)
576 int cmd, uintptr_t *args)
583 uintptr_t *args)
585 capaddr_t cptr = args[0];
586 uint8_t level = args[1];
588 struct capability *retbuf = (void *)args[2];
594 int cmd, uintptr_t *args)
596 return monitor_identify_cap_common(kernel_cap, &dcb_current->cspace.cap, args);
600 int cmd, uintptr_t *args)
604 capaddr_t root_caddr = args[0];
605 capaddr_t root_level = args[1];
616 return monitor_identify_cap_common(kernel_cap, root, &args[2]);
620 int cmd, uintptr_t *args)
622 capaddr_t caddr = args[0];
623 uint8_t level = args[1];
624 uint8_t mask = args[2];
630 int cmd, uintptr_t *args)
632 capaddr_t root_addr = args[0];
633 int root_level = args[1];
634 capaddr_t cptr = args[2];
635 int level = args[3];
636 uint8_t relations = args[4] & 0xFF;
637 uint8_t mask = (args[4] >> 8) & 0xFF;
645 int cmd, uintptr_t *args)
648 struct capability *src = (struct capability *)args;
656 coreid_t owner = args[pos + 3];
667 capaddr_t cnode_cptr = args[pos];
668 int cnode_level = args[pos + 1];
669 size_t slot = args[pos + 2];
678 int cmd, uintptr_t *args)
681 struct capability *src = (struct capability *)args;
684 capaddr_t croot_cptr = args[pos];
685 capaddr_t cnode_cptr = args[pos + 1];
686 int cnode_level = args[pos + 2];
687 size_t slot = args[pos + 3];
693 int cmd, uintptr_t *args)
695 capaddr_t cptr = args[0];
696 uint8_t level = args[1];
702 int cmd, uintptr_t *args)
704 uint64_t synctime = args[0];
709 int cmd, uintptr_t *args)
711 if (!access_ok(ACCESS_WRITE, args[0], sizeof(struct platform_info))) {
714 struct platform_info *pi = (struct platform_info *)args[0];
722 int cmd, uintptr_t *args)
724 capaddr_t retcn_addr = (capaddr_t)args[0];
725 uint8_t retcn_level = (uint8_t) args[1];
726 cslot_t ret_slot = (cslot_t) args[2];
731 int cmd, uintptr_t *args)
764 static struct sysret handle_io(struct capability *to, int cmd, uintptr_t *args)
766 uint64_t port = args[0];
767 uint64_t data = args[1]; // ignored for input
773 int cmd, uintptr_t *args)
784 err = vmread(args[0], (lvaddr_t *)args[1]);
791 int cmd, uintptr_t *args)
802 err = vmwrite(args[0], args[1]);
809 int cmd, uintptr_t *args)
823 int cmd, uintptr_t *args)
838 handle_dispatcher_setup_guest (struct capability *to, int cmd, uintptr_t *args)
843 capaddr_t epp = args[0];
844 capaddr_t vnodep = args[1];
845 capaddr_t vmcbp = args[2];
846 capaddr_t ctrlp = args[3];
938 int cmd, uintptr_t *args)
940 capaddr_t cptr = args[0];
941 domainid_t domain_id = args[1];
947 int cmd, uintptr_t *args)
949 capaddr_t root_addr = args[0];
950 uint8_t root_level = args[1];
951 capaddr_t cptr = args[2];
952 uint8_t level = args[3];
958 int cmd, uintptr_t *args)
960 capaddr_t root_addr = args[0];
961 uint8_t root_level = args[1];
962 capaddr_t cptr = args[2];
963 uint8_t level = args[3];
964 coreid_t owner = args[4];
970 int cmd, uintptr_t *args)
972 capaddr_t root_addr = args[0];
973 uint8_t root_level = args[1];
974 capaddr_t cptr = args[2];
975 uint8_t level = args[3];
981 int cmd, uintptr_t *args)
983 capaddr_t root_addr = args[0];
984 uint8_t root_level = args[1];
985 capaddr_t cptr = args[2];
986 uint8_t level = args[3];
995 int cmd, uintptr_t *args)
1001 capaddr_t cptr = args[0];
1019 uintptr_t *args)
1029 uintptr_t *args)
1040 uintptr_t *args)
1049 uintptr_t *args)
1058 uintptr_t *args)
1060 return SYSRET(irq_connect(to, args[0]));
1064 uintptr_t *args)
1074 uintptr_t *args)
1076 return SYSRET(irq_table_alloc_dest_cap(args[0],args[1],args[2], args[3]));
1081 uintptr_t *args)
1083 return SYSRET(irq_table_set(args[0], args[1]));
1087 uintptr_t *args)
1089 return SYSRET(irq_table_delete(args[0]));
1093 int cmd, uintptr_t *args)
1100 int cmd, uintptr_t *args)
1103 capaddr_t ep = args[0];
1104 int chanid = args[1];
1109 int cmd, uintptr_t *args)
1117 int cmd, uintptr_t *args)
1121 lvaddr_t vaddr = args[0];
1133 int cmd, uintptr_t *args)
1150 * \param xargs Expected parameters in args:
1164 int cmd, uintptr_t *args)
1166 uint8_t event = args[0];
1167 uint8_t umask = args[1];
1168 uint8_t counter_id = args[2];
1169 bool kernel = args[3];
1170 uint64_t counter_value = args[4];
1171 capaddr_t ep_addr = args[5];
1201 int cmd, uintptr_t *args)
1203 uint8_t counter_id = args[0];
1204 uint64_t counter_value = args[1];
1214 int cmd, uintptr_t *args)
1224 uintptr_t *args)
1234 uintptr_t *args)
1238 capaddr_t cnode_cptr = args[0];
1239 capaddr_t cnode_level = args[1];
1240 cslot_t slot = args[2];
1242 uint32_t address = args[3];
1243 uint32_t segflags = args[4];
1260 uintptr_t *args)
1262 coreid_t destination = args[0];
1274 uintptr_t *args)
1276 coreid_t destination = args[0];
1288 uintptr_t *args)
1299 int cmd, uintptr_t *args)
1301 uintptr_t kcb_addr = args[0];
1308 int cmd, uintptr_t *args)
1311 uintptr_t kcb_addr = args[0];
1318 int cmd, uintptr_t *args)
1321 return sys_kernel_suspend_kcb_sched((bool)args[0]);
1325 int cmd, uintptr_t *args)
1327 return sys_handle_kcb_identify(to, (struct frame_identity *)args[0]);
1332 int cmd, uintptr_t *args);
1554 uint64_t *args, uint64_t rflags, uint64_t rip,
1557 uint64_t *args, uint64_t rflags, uint64_t rip,
1623 retval.error = lmp_deliver(to, dcb_current, args, length_words,
1712 // to->type, args[0]);
1714 uint64_t cmd = args[0];
1729 retval = invocation(to, cmd, &args[1]);
1793 apic_send_std_ipi(arg1, args[0], args[1]);
1797 debugregs_set_breakpoint(arg1, args[0], args[1]);
1815 caps_trace_ctrl(arg1, args[0], args[1]);
1830 retval.error = irq_debug_create_src_cap(arg1, args[0], args[1],
1831 args[2], args[3]);
1870 uint64_t *args, uint64_t rflags, uint64_t rip);
1872 uint64_t *args, uint64_t rflags, uint64_t rip)
1874 return sys_vmcall(syscall, arg0, arg1, args, rflags, rip, &dcb_current->cspace.cap);