/* Spill all the per-cpu pages from all CPUs back into the buddy allocator  */
void drain_all_pages(void)
/* Spill all the per-cpu pages from all CPUs back into the buddy allocator  */
void drain_all_pages(void)
{
	on_each_cpu(drain_local_pages, NULL, 1);
}