get_device_size
actual_size = get_device_size(fd, disk);
static diskaddr_t get_device_size(int, caddr_t);
slicesize = get_device_size(fd);
static diskaddr_t get_device_size(int, char *);
actual_size = get_device_size(fd, disk);