On Mon, 2 Dec 2019, Dennis Zhou wrote: > I think typeof_cast_kernel() or typeof_force_kernel() are reasonable > names. I kind of like the idea of cast/force over strip because we're > really still moving address spaces even if it is moving it back. I vote for typeof_cast_kernel()... percpu addresses are more like an alias.... or more precisely an offset to a base pointer (that already belongs to a certain "address space") and we use the notion of a distinctly different "address space" in the linker to categorize these references.