5 template< typename SPACE >
6 class Io_space_sigma0 : public Generic_io_space<SPACE>
8 typedef Generic_io_space<SPACE> _B;
10 typedef typename _B::Addr Addr;
11 typedef typename _B::Size Size;
12 typedef typename _B::Phys_addr Phys_addr;
18 // Utilities for map<Generic_io_space> and unmap<Generic_io_space>
21 PUBLIC template< typename SPACE >
23 Io_space_sigma0<SPACE>::v_fabricate(Addr address, Phys_addr* phys,
24 Size* size, unsigned* attribs = 0)
26 // special-cased because we don't do lookup for sigma0
27 *phys = address.trunc(Size(_B::Map_superpage_size));
28 *size = Size(_B::Map_superpage_size);
29 if (attribs) *attribs = _B::Page_writable | _B::Page_user_accessible;