Symbol: hw_page_map_t