physmem_hardware_region
physmem_hardware_region(mr->mr_start, mr->mr_size);
physmem_hardware_region(walker->u.tag_mem.start,
physmem_hardware_region(mr->mr_start, mr->mr_size);
physmem_hardware_region(p->md_phys,
physmem_hardware_region(mr->mr_start, mr->mr_size);
void physmem_hardware_region(uint64_t pa, uint64_t sz);
physmem_hardware_region(mrptr->mr_start, mrptr->mr_size);
physmem_hardware_region(PAGE_SIZE, PAGE_SIZE / 2);
physmem_hardware_region( 2 * PAGE_SIZE, PAGE_SIZE);
physmem_hardware_region(PAGE_SIZE + PAGE_SIZE / 2, PAGE_SIZE / 2);
physmem_hardware_region(2 * PAGE_SIZE, PAGE_SIZE);
physmem_hardware_region(2 * PAGE_SIZE, 2 * PAGE_SIZE);
physmem_hardware_region(4 * PAGE_SIZE, PAGE_SIZE);
physmem_hardware_region(4 * PAGE_SIZE, 2 * PAGE_SIZE);
physmem_hardware_region(6 * PAGE_SIZE, PAGE_SIZE / 2);
physmem_hardware_region(6 * PAGE_SIZE + PAGE_SIZE / 2, PAGE_SIZE / 2);
physmem_hardware_region(2 * PAGE_SIZE, 5 * PAGE_SIZE);