# CONFIG_HID_HYPERV_MOUSE is not set
