Symbol: __iosys_map_wr_io_u64_case