Lines Matching defs:sysret
49 static struct sysret handle_dispatcher_setup(struct capability *to,
60 struct sysret sr = sys_dispatcher_setup(to, cptr, level, vptr, dptr, run, odptr);
65 static struct sysret handle_dispatcher_properties(struct capability *to,
76 struct sysret sr = sys_dispatcher_properties(to, type, deadline, wcet, period,
82 static struct sysret handle_retype_common(struct capability *root,
98 struct sysret sr = sys_retype(root, source_croot, source_cptr, offset, type,
106 static struct sysret handle_retype(struct capability *root,
112 static struct sysret handle_create(struct capability *root,
123 struct sysret sr = sys_create(root, type, objsize, dest_cnode_cptr,
130 static struct sysret handle_map(struct capability *ptable,
147 struct sysret sr = sys_map(ptable, slot, source_root_cptr, source_cptr,
158 static struct sysret copy_or_mint(struct capability *root,
179 struct sysret sr = sys_copy_or_mint(root, dest_cspace_cptr, destcn_cptr, dest_slot,
187 static struct sysret handle_mint(struct capability *root,
193 static struct sysret handle_copy(struct capability *root,
199 static struct sysret handle_delete(struct capability *root,
207 static struct sysret handle_revoke(struct capability *root,
215 static struct sysret handle_get_state(struct capability *root,
222 static struct sysret handle_vnode_modify_flags(struct capability *to,
232 static struct sysret handle_get_size(struct capability *root,
238 static struct sysret handle_resize(struct capability *root,
247 static struct sysret handle_unmap(struct capability *pgtable,
267 static struct sysret handle_mapping_destroy(struct capability *mapping,
274 static struct sysret handle_mapping_modify(struct capability *mapping,
289 return (struct sysret) {
296 static struct sysret monitor_handle_retype(struct capability *kernel_cap,
302 static struct sysret monitor_handle_has_descendants(struct capability *kernel_cap,
309 return (struct sysret) {
315 static struct sysret monitor_handle_is_retypeable(struct capability *kernel_cap,
328 static struct sysret monitor_handle_delete_last(struct capability *kernel_cap,
344 static struct sysret monitor_handle_delete_foreigns(struct capability *kernel_cap,
352 static struct sysret monitor_handle_revoke_mark_tgt(struct capability *kernel_cap,
364 static struct sysret monitor_handle_revoke_mark_rels(struct capability *kernel_cap,
372 static struct sysret monitor_handle_delete_step(struct capability *kernel_cap,
382 static struct sysret monitor_handle_clear_step(struct capability *kernel_cap,
392 static struct sysret monitor_handle_register(struct capability *kernel_cap,
398 struct sysret sr = sys_monitor_register(ep_caddr);
403 static struct sysret monitor_get_core_id(struct capability *kernel_cap,
406 return (struct sysret){.error = SYS_ERR_OK, .value = my_core_id};
409 static struct sysret monitor_get_arch_id(struct capability *kernel_cap,
412 return (struct sysret){.error = SYS_ERR_OK, .value = apic_id};
415 static struct sysret monitor_identify_cap_common(struct capability *kernel_cap,
427 static struct sysret monitor_identify_cap(struct capability *kernel_cap,
433 static struct sysret monitor_identify_domains_cap(struct capability *kernel_cap,
453 static struct sysret monitor_cap_has_relations(struct capability *kernel_cap,
463 static struct sysret monitor_remote_relations(struct capability *kernel_cap,
478 static struct sysret monitor_create_cap(struct capability *kernel_cap,
511 static struct sysret monitor_copy_existing(struct capability *kernel_cap,
526 static struct sysret monitor_nullify_cap(struct capability *kernel_cap,
535 static struct sysret monitor_handle_sync_timer(struct capability *kern_cap,
542 static struct sysret monitor_get_platform(struct capability *kern_cap,
555 static struct sysret handle_frame_identify(struct capability *to,
575 static struct sysret handle_vnode_identify(struct capability *to,
587 return (struct sysret) {
594 static struct sysret handle_io(struct capability *to, int cmd, uintptr_t *args)
602 static struct sysret handle_vmread(struct capability *to,
620 static struct sysret handle_vmwrite(struct capability *to,
638 static struct sysret handle_vmptrld(struct capability *to,
652 static struct sysret handle_vmclear(struct capability *to,
667 static struct sysret
764 static struct sysret monitor_handle_domain_id(struct capability *monitor_cap,
773 static struct sysret monitor_get_cap_owner(struct capability *monitor_cap,
784 static struct sysret monitor_set_cap_owner(struct capability *monitor_cap,
796 static struct sysret monitor_lock_cap(struct capability *monitor_cap,
807 static struct sysret monitor_unlock_cap(struct capability *monitor_cap,
821 static struct sysret handle_trace_setup(struct capability *cap,
845 static struct sysret handle_irqsrc_get_vec_start(struct capability * to, int cmd,
848 struct sysret ret;
855 static struct sysret handle_irqsrc_get_vec_end(struct capability * to, int cmd,
858 struct sysret ret;
866 static struct sysret handle_irqdest_get_vector(struct capability *to, int cmd,
869 struct sysret ret;
875 static struct sysret handle_irqdest_get_cpu(struct capability *to, int cmd,
878 struct sysret ret;
884 static struct sysret handle_irqdest_connect(struct capability *to, int cmd,
890 static struct sysret handle_irq_table_alloc(struct capability *to, int cmd,
893 struct sysret ret;
900 static struct sysret handle_irq_table_alloc_dest_cap(struct capability *to, int cmd,
907 static struct sysret handle_irq_table_set(struct capability *to, int cmd,
913 static struct sysret handle_irq_table_delete(struct capability *to, int cmd,
919 static struct sysret handle_ipi_notify_send(struct capability *cap,
926 static struct sysret kernel_ipi_register(struct capability *cap,
935 static struct sysret kernel_ipi_delete(struct capability *cap,
943 static struct sysret dispatcher_dump_ptables(struct capability *cap,
957 static struct sysret dispatcher_dump_capabilities(struct capability *cap,
988 static struct sysret performance_counter_activate(struct capability *cap,
1025 static struct sysret performance_counter_write(struct capability *cap,
1038 static struct sysret performance_counter_deactivate(struct capability *cap,
1048 static struct sysret handle_idcap_identify(struct capability *cap, int cmd,
1052 struct sysret sysret = sys_idcap_identify(cap, &id);
1053 sysret.value = id;
1055 return sysret;
1058 static struct sysret kernel_send_init_ipi(struct capability *cap, int cmd,
1071 static struct sysret kernel_send_start_ipi(struct capability *cap,
1085 static struct sysret kernel_get_global_phys(struct capability *cap,
1090 struct sysret sysret;
1091 sysret.value = mem_to_local_phys((lvaddr_t)global);
1092 sysret.error = SYS_ERR_OK;
1094 return sysret;
1097 static struct sysret kernel_add_kcb(struct capability *kern_cap,
1106 static struct sysret kernel_remove_kcb(struct capability *kern_cap,
1116 static struct sysret kernel_suspend_kcb_sched(struct capability *kern_cap,
1123 static struct sysret handle_kcb_identify(struct capability *to,
1130 typedef struct sysret (*invocation_handler_t)(struct capability *to,
1304 struct sysret sys_syscall(uint64_t syscall, uint64_t arg0, uint64_t arg1,
1306 struct sysret sys_syscall(uint64_t syscall, uint64_t arg0, uint64_t arg1,
1309 struct sysret retval = { .error = SYS_ERR_OK, .value = 0 };