Symbol: cpu_alloc_l3_page