DVMA_VADDR
.name = "sparc_dvma", .start = DVMA_VADDR, .end = DVMA_END - 1
srmmu_allocate_ptable_skeleton(DVMA_VADDR, DVMA_END);