KERNEL_PID
#define KERNEL_PID 0 /* The kernel uses ASID 0 */
#define KERNEL_PID 0
#define KERNEL_PID 0 /* The kernel uses ASID 0 */
#define KERNEL_PID 0
#define KERNEL_PID 0
#define KERNEL_PID 0
#define KERNEL_PID 1 /* TLB PID to use for kernel translation */
#define KERNEL_PID 0