Searched refs:task_exc_guard_default (Results 1 – 3 of 3) sorted by relevance
2855 extern uint32_t task_exc_guard_default;2857 SYSCTL_INT(_kern, OID_AUTO, task_exc_guard_default,2858 CTLFLAG_RD | CTLFLAG_LOCKED, &task_exc_guard_default, 0, "");
551 uint32_t task_exc_guard_default = _TASK_EXC_GUARD_ALL_FATAL; variable568 uint32_t task_exc_guard_default = _TASK_EXC_GUARD_ALL_ONCE; variable1080 &task_exc_guard_default, in task_init()1081 sizeof(task_exc_guard_default)); in task_init()9218 task->task_exc_guard = (task_exc_guard_default & TASK_EXC_GUARD_ALL); in task_set_exc_guard_ctrl_port_default()9223 } else if (task_exc_guard_default & TASK_EXC_GUARD_HONOR_NAMED_DEFAULTS) { in task_set_exc_guard_ctrl_port_default()9243 …task->task_exc_guard = ((task_exc_guard_default >> TASK_EXC_GUARD_THIRD_PARTY_DEFAULT_SHIFT) & TAS… in task_set_exc_guard_ctrl_port_default()
615 extern task_exc_guard_behavior_t task_exc_guard_default;