Symbol: kc_xlate_dev_mem_ptr