DVMA_END
#define DVMA_SIZE (DVMA_END-DVMA_START)
#define DVMA_SIZE (DVMA_END-DVMA_START)
hole->end = DVMA_END;
.name = "sparc_dvma", .start = DVMA_VADDR, .end = DVMA_END - 1
srmmu_allocate_ptable_skeleton(DVMA_VADDR, DVMA_END);