Symbol: WMI_EEEPC_PSW_UNKNOWN_xEF
sys/dev/acpi/wmi/wmi_eeepc.c
148
sc->sc_psw[WMI_EEEPC_PSW_UNKNOWN_xEF].smpsw_name = "unlabeled-xEF";
sys/dev/acpi/wmi/wmi_eeepc.c
318
wmi_eeepc_pswitch_event(sc, WMI_EEEPC_PSW_UNKNOWN_xEF);