taglinefilesource code
KG_CTRL28drivers/char/kbd_kern.h#define VC_CTRLLOCK  KG_CTRL   /* control lock mode */
KG_CTRL120include/linux/keyboard.h#define K_CTRL    K(KT_SHIFT,KG_CTRL)
KG_CTRL144include/linux/keyboard.h#define K_CTRLLOCK  K(KT_LOCK,KG_CTRL)