Symbol: xen_reserve_special_pages