secflags_issuperset
!secflags_issuperset(delta->psd_assign, sf->psf_lower)) {
extern boolean_t secflags_issuperset(secflagset_t, secflagset_t);