Searched refs:task_set_control_port_options (Results 1 – 2 of 2) sorted by relevance
557 extern void task_set_control_port_options(task_t task, task_control_port_options_t opts);
8967 task_set_control_port_options(task, opts); in task_set_exc_guard_ctrl_port_default()9664 task_set_control_port_options(task_t task, task_control_port_options_t opts) in task_set_control_port_options() function