Lines Matching defs:sysret
41 static struct sysret handle_dispatcher_setup(struct capability *to,
56 static struct sysret handle_dispatcher_properties(struct capability *to,
71 static struct sysret handle_dispatcher_perfmon(struct capability *to,
109 static struct sysret handle_retype_common(struct capability *root,
130 static struct sysret handle_retype(struct capability *root, int cmd, uintptr_t *args)
135 static struct sysret handle_create(struct capability *root, int cmd,
152 static struct sysret copy_or_mint(struct capability *root,
174 static struct sysret handle_mint(struct capability *root, int cmd, uintptr_t *args)
179 static struct sysret handle_copy(struct capability *root,
185 static struct sysret handle_delete(struct capability *root, int cmd, uintptr_t *args)
192 static struct sysret handle_revoke(struct capability *root,
200 static struct sysret handle_get_state(struct capability *root,
208 static struct sysret handle_map(struct capability *pgtable,
227 static struct sysret handle_unmap(struct capability *pgtable,
245 static struct sysret handle_mapping_destroy(struct capability *mapping,
252 static struct sysret handle_mapping_modify(struct capability *mapping,
267 return (struct sysret) {
275 static struct sysret monitor_handle_retype(struct capability *kernel_cap,
294 static struct sysret monitor_handle_has_descendants(struct capability *kernel_cap,
306 return (struct sysret) {
312 static struct sysret monitor_handle_delete_last(struct capability *kernel_cap,
327 static struct sysret monitor_handle_delete_foreigns(struct capability *kernel_cap,
335 static struct sysret monitor_handle_revoke_mark_tgt(struct capability *kernel_cap,
347 static struct sysret monitor_handle_revoke_mark_rels(struct capability *kernel_cap,
359 static struct sysret monitor_handle_delete_step(struct capability *kernel_cap,
368 static struct sysret monitor_handle_clear_step(struct capability *kernel_cap,
378 static struct sysret monitor_handle_register(struct capability *kernel_cap,
385 static struct sysret monitor_get_core_id(struct capability *kernel_cap,
388 return (struct sysret) {
394 static struct sysret monitor_get_arch_id(struct capability *kernel_cap,
397 return (struct sysret) {
403 static struct sysret monitor_identify_cap_common(struct capability *kernel_cap,
414 static struct sysret monitor_identify_cap(struct capability *kernel_cap,
420 static struct sysret monitor_identify_domains_cap(struct capability *kernel_cap,
439 static struct sysret monitor_cap_has_relations(struct capability *kernel_cap,
449 static struct sysret monitor_remote_relations(struct capability *kernel_cap,
464 static struct sysret monitor_create_cap(struct capability *kernel_cap,
493 static struct sysret monitor_copy_existing(struct capability *kernel_cap,
511 static struct sysret monitor_nullify_cap(struct capability *kernel_cap,
520 static struct sysret monitor_handle_sync_timer(struct capability *kern_cap,
528 static struct sysret handle_frame_identify(struct capability *to,
536 return (struct sysret) {
542 static struct sysret handle_io(struct capability *to, int cmd, uintptr_t *args)
550 static struct sysret monitor_handle_domain_id(struct capability *monitor_cap,
559 static struct sysret monitor_get_cap_owner(struct capability *monitor_cap,
570 static struct sysret monitor_set_cap_owner(struct capability *monitor_cap,
582 static struct sysret monitor_lock_cap(struct capability *monitor_cap,
593 static struct sysret monitor_unlock_cap(struct capability *monitor_cap,
607 static struct sysret handle_trace_setup(struct capability *cap,
631 static struct sysret handle_irqsrc_get_vector(struct capability * to, int cmd,
634 struct sysret ret;
642 static struct sysret handle_irqdest_get_vector(struct capability *to, int cmd,
645 struct sysret ret;
651 static struct sysret handle_irqdest_connect(struct capability *to, int cmd,
657 static struct sysret handle_irq_table_alloc(struct capability *to, int cmd,
660 struct sysret ret;
667 static struct sysret handle_irq_table_alloc_dest_cap(struct capability *to, int cmd,
673 static struct sysret handle_irq_table_set(struct capability *to, int cmd, uintptr_t *args)
678 static struct sysret handle_irq_table_delete(struct capability *to, int cmd, uintptr_t *args)
686 static struct sysret handle_idcap_identify(struct capability *cap, int cmd,
699 static struct sysret kernel_send_init_ipi(struct capability *cap, int cmd,
709 static struct sysret kernel_send_start_ipi(struct capability *cap,
721 static struct sysret kernel_get_global_phys(struct capability *cap,
726 struct sysret sysret;
727 sysret.value = mem_to_local_phys((lvaddr_t)global);
728 sysret.error = SYS_ERR_OK;
730 return sysret;
733 static struct sysret kernel_ipi_register(struct capability *cap,
742 static struct sysret kernel_ipi_delete(struct capability *cap,
750 static struct sysret handle_ipi_notify_send(struct capability *cap,
757 static struct sysret dispatcher_dump_ptables(struct capability *cap,
771 static struct sysret dispatcher_dump_capabilities(struct capability *cap,
781 static struct sysret kernel_add_kcb(struct capability *kern_cap,
790 static struct sysret kernel_remove_kcb(struct capability *kern_cap,
800 static struct sysret kernel_suspend_kcb_sched(struct capability *kern_cap,
807 static struct sysret handle_kcb_identify(struct capability *to,
813 typedef struct sysret (*invocation_handler_t)(struct capability *to,
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,
946 struct sysret retval = { .error = SYS_ERR_OK, .value = 0 };