Symbol: tpl24
usr.sbin/dumpcis/printcis.c
303
printf(fmt, tpl24(p) + ofs);
usr.sbin/dumpcis/readcis.c
159
num = tpl24(p) + ofs;