Macro kernel_assert 

macro_rules! kernel_assert {
    ($cond:expr) => { ... };
    ($cond:expr, $($arg:tt)*) => { ... };
}

Assertion macros for kernel tests