Symbol: dict_getd
sbin/veriexecctl/veriexecctl.c
145
v = dict_getd(qp, "fp");
sbin/veriexecctl/veriexecctl.c
186
v = dict_getd(entry, "fp");