196a197,199
>
> virtual void getMappings(std::vector<std::pair<Addr, Addr>>
> *addr_mappings) {};
241a245,246
>
> void getMappings(std::vector<std::pair<Addr, Addr>> *addr_maps) override;