siba_addrspace_device_region
*region_num = siba_addrspace_device_region(i);
u_int siba_addrspace_device_region(u_int addrspace);