splassert_check 80 arch/i386/include/intr.h void splassert_check(int, const char *); splassert_check 83 arch/i386/include/intr.h splassert_check(__wantipl, __func__); \