Symbol: dev_event_to_vlpi_map