}
else {
(void) kmem_alloc_pageable(kernel_map, &start, round_page(size));
(void) pmap_map(start, phys_addr, phys_addr + round_page(size),
}
else {
(void) kmem_alloc_pageable(kernel_map, &start, round_page(size));
(void) pmap_map(start, phys_addr, phys_addr + round_page(size),