Symbol: ceph_ino_to_ino32