ptokv
#define ptokv(x) (x) /* UNCACHED FLAT */
#define ptokv(x) ((x) | 0x80000000) /* CACHED P1 */
#define ptokv(x) ((x) | 0x80000000) /* CACHED kseg0 */