Symbol: kc_vaddr_to_offset