XIAOMI_DEVICE      71 drivers/platform/x86/xiaomi-wmi.c 	{ XIAOMI_DEVICE(XIAOMI_KEY_FN_FN, KEY_PROG1) },
XIAOMI_DEVICE      73 drivers/platform/x86/xiaomi-wmi.c 	{ XIAOMI_DEVICE(XIAOMI_KEY_FN_F7, KEY_CUT) },