Symbol: wskbd_hotkey_deregister
sys/dev/acpi/hpqlb_acpi.c
156
wskbd_hotkey_deregister(sc->sc_wskbddev);
sys/dev/wscons/wskbdvar.h
107
void wskbd_hotkey_deregister(device_t);