Symbol: ctxt_has_sctlr2