converted linux_inline_kernel