device_getproplen
return device_getproplen(dev, prop) >= 0;
ssize_t device_getproplen(device_t, const char *);