Symbol: rx_alloc_mapped_page