Symbol: pool_value_set_double
usr/src/cmd/pools/poold/com/sun/solaris/service/pools/PoolInternal.java
141
final static native void pool_value_set_double(long pv, double val);
usr/src/lib/libpool/common/pool_value.c
178
pool_value_set_double(pool_value_t *pv, double val)