wmi_hp_attach
static void wmi_hp_attach(device_t, device_t, void *);
wmi_hp_match, wmi_hp_attach, wmi_hp_detach, NULL);