Symbol: kc_offset_to_vaddr