Using malloc types for kernel.