haveipl           229 kern/subr_prf.c splassert_fail(int wantipl, int haveipl, const char *func)
haveipl           232 kern/subr_prf.c 	printf("splassert: %s: want %d have %d\n", func, wantipl, haveipl);