__shuffle_free_memory 24 mm/shuffle.h extern void __shuffle_free_memory(pg_data_t *pgdat); __shuffle_free_memory 29 mm/shuffle.h __shuffle_free_memory(pgdat);