device_setprop_int32
__strong_alias(device_setprop_int,device_setprop_int32);
bool device_setprop_int32(device_t, const char *, int32_t);