alpha_page_physload_sheltered
void alpha_page_physload_sheltered(u_long, u_long, u_long, u_long);
alpha_page_physload_sheltered(start_pfn, end_pfn,