Symbol: __cpuc_coherent_kern_range