ib_cpu_ticks_to_ih_nsec
ib_cpu_ticks_to_ih_nsec(ib_p,
ib_cpu_ticks_to_ih_nsec(ib_p, ih_lst,
extern void ib_cpu_ticks_to_ih_nsec(ib_t *ib_p, ih_t *ih_p, uint32_t cpu_id);