Symbol: PUSH_CELL_POINTER_DOUBLE
usr/src/common/ficl/vm.c
1371
PUSH_CELL_POINTER_DOUBLE((dataTop--)->p);
usr/src/common/ficl/vm.c
2021
PUSH_CELL_POINTER_DOUBLE(fw->param);
usr/src/common/ficl/vm.c
536
PUSH_CELL_POINTER_DOUBLE(frame + *ip++);
usr/src/common/ficl/vm.c
564
PUSH_CELL_POINTER_DOUBLE(frame);