Symbol: map_gateway_page
sys/arch/ia64/ia64/pmap.c
523
map_gateway_page();
sys/arch/ia64/include/md_var.h
92
void map_gateway_page(void);