Symbol: mfn_map_t