Symbol: FIX1E
sys/dev/ipmi.c
1375
x = fixmul(x, FIX1E);
sys/dev/ipmi.c
1413
x = fixmul(x, FIX1E);