- int map(l4_addr_t adr, Region const &r, bool writable, Map_result *result) const
- { return Ops::map(this, adr, r, writable, result); }
+ int map(l4_addr_t addr, Region const &r, bool writable, Map_result *result) const
+ { return Ops::map(this, addr, r, writable, result); }