void test_palacios_mm(unsigned num_pages_limit);