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) },