- (void) pmap_map_bd(start, phys_addr, phys_addr + round_page(size),
- VM_PROT_READ|VM_PROT_WRITE,
- flags);
- }
- else {
- (void) kmem_alloc_pageable(kernel_map, &start, round_page(size), VM_KERN_MEMORY_IOKIT);
- (void) pmap_map(start, phys_addr, phys_addr + round_page(size),
- VM_PROT_READ|VM_PROT_WRITE,
- flags);
+ (void) pmap_map_bd(start, phys_addr, phys_addr + round_page(size),
+ VM_PROT_READ | VM_PROT_WRITE,
+ flags);
+ } else {
+ (void) kmem_alloc_pageable(kernel_map, &start, round_page(size), VM_KERN_MEMORY_IOKIT);
+ (void) pmap_map(start, phys_addr, phys_addr + round_page(size),
+ VM_PROT_READ | VM_PROT_WRITE,
+ flags);