Macro kernel_function

macro_rules! kernel_function {
    ($name:ident, $args:ty, |$args_pat:pat, $ctx:ident| $body:block) => { ... };
}

Helper macro to define kernel functions