pti_console_channel   79 drivers/misc/pti.c static unsigned int pti_console_channel;
pti_console_channel  675 drivers/misc/pti.c 	mc.channel = pti_console_channel;
pti_console_channel  676 drivers/misc/pti.c 	pti_console_channel = (pti_console_channel + 1) & 0x7f;
pti_console_channel  709 drivers/misc/pti.c 	pti_console_channel = 0;