simpler version of kernel macros