Symbol: Dbl_sethigh4bits
sys/arch/hppa/spmath/dfadd.c
360
Dbl_sethigh4bits(resultp1,/*using*/sign_save);
sys/arch/hppa/spmath/dfsub.c
358
Dbl_sethigh4bits(resultp1,/*using*/sign_save);