cb_ino_to_clr_pa
uint64_t pa = cb_ino_to_clr_pa(cb_p, ino);
extern uint64_t cb_ino_to_clr_pa(pcmu_cb_t *, pcmu_ib_ino_t);
extern uint64_t cb_ino_to_clr_pa(cb_t *cb_p, ib_ino_t ino);