Symbol: SRF_ALLOCATED
sys/kern/kern_sysref.c
220
sr->flags = SRF_ALLOCATED | SRF_PUTAWAY;
sys/kern/kern_sysref.c
347
KKASSERT(sr->flags & SRF_ALLOCATED);