Searched refs:is_critical_extension (Results 1 – 7 of 7) sorted by relevance
380 $critical = "critical," if ($profile->is_critical_extension ($name));655 if ($profile->is_critical_extension($oid)) {
483 sub is_critical_extension subroutine
499 bool is_critical_extension() const { return m_critical; } in is_critical_extension() function