Symbol: sequoiaIsLocked
sys/arch/shark/shark/hat.c
187
KASSERT(sequoiaIsLocked());
sys/arch/shark/shark/sequoia.h
5069
bool sequoiaIsLocked(void); /* for DIAGNOSTIC checks only */