/* Free @ptr. @ptr should have been allocated using pcpu_mem_alloc().  */
static void pcpu_mem_free(void *ptr, size_t size)
/* Free @ptr. @ptr should have been allocated using pcpu_mem_alloc().  */
static void pcpu_mem_free(void *ptr, size_t size)
{
	if (size <= PAGE_SIZE)
		kfree(ptr);
	else
		vfree(ptr);
}