IOBASE_END
.name = "sparc_iomap", .start = IOBASE_VADDR, .end = IOBASE_END - 1
srmmu_allocate_ptable_skeleton(sparc_iomap.start, IOBASE_END);