PIL_12
mutex_init(&abort_seq_lock, NULL, MUTEX_SPIN, (void *)PIL_12);
PIL_12, /* zs interrupt priority */
{"console", PIL_12},