PUBLIC inline Page_number Sigma0_task::mem_space_map_max_address() const { return Page_number(1UL << (MWORD_BITS - Mem_space::Page_shift)); }
// FAKE PUBLIC static inline Page_number Kobject_mapdb::vaddr(const Frame&, Mapping*) { return Page_number(0); }