Symbol: POP_CELL_POINTER_DOUBLE
usr/src/common/ficl/vm.c
1390
POP_CELL_POINTER_DOUBLE((dataTop--)->p);
usr/src/common/ficl/vm.c
548
POP_CELL_POINTER_DOUBLE(frame + *ip++);
usr/src/common/ficl/vm.c
573
POP_CELL_POINTER_DOUBLE(frame);