rw_initialized
if (rw_initialized(&sc->policy_lock)) {
if (rw_initialized(&mw->mw_lock))
if (!rw_initialized(&mw->mw_lock)) {
if (rw_initialized(&td->tcb_history_lock))
KASSERT(rw_initialized(&tcp_function_lock),