}
#if !(DEVELOPMENT || DEBUG) && CONFIG_MACF
- const boolean_t dbg_ok = (mac_task_check_expose_task(kernel_task) == 0);
+ const boolean_t dbg_ok = (mac_task_check_expose_task(kernel_task, TASK_FLAVOR_CONTROL) == 0);
#else
const boolean_t dbg_ok = TRUE;
#endif