/* GDB wants to call malloc() and free() to allocate memory for calling kernel functions directly from its command line  */
static void * malloc(size_t size) __maybe_unused
/* GDB wants to call malloc() and free() to allocate memory for calling kernel functions directly from its command line  */
static void * malloc(size_t size) __maybe_unused
{
	return kmalloc(size, GFP_ATOMIC);
}