930 task_wait_to_return(void)  in task_wait_to_return()  argument
1026 task_init(void)  in task_init()  argument
1164 task_zone_init(void)  in task_zone_init()  argument
1210 init_task_ledgers(void)  in init_task_ledgers()  argument
7790 current_task_early(void)  in current_task_early()  argument
7801 current_task(void)  in current_task()  argument
8061 SENDING_NOTIFICATION__THIS_PROCESS_IS_CAUSING_TOO_MANY_WAKEUPS(void)  in SENDING_NOTIFICATION__THIS_PROCESS_IS_CAUSING_TOO_MANY_WAKEUPS()  argument
8369 task_allocate_fatal_port(void)  in task_allocate_fatal_port()  argument
9084 task_self_region_footprint(void)  in task_self_region_footprint()  argument
9112 task_self_region_info_flags(void)  in task_self_region_info_flags()  argument
9894 current_task_get_fatal_port_name(void)  in current_task_get_fatal_port_name()  argument
9912 curtask_get_insn_copy_optout(void)  in curtask_get_insn_copy_optout()  argument
9925 curtask_set_insn_copy_optout(void)  in curtask_set_insn_copy_optout()  argument
10186 task_stop_conclave_upcall(void)  in task_stop_conclave_upcall()  argument
10197 task_stop_conclave_upcall_complete(void)  in task_stop_conclave_upcall_complete()  argument