WMI_HP_METHOD_ARG_MAGIC
KDASSERT(sc->sc_arg[0] == WMI_HP_METHOD_ARG_MAGIC);
sc->sc_arg[0] = WMI_HP_METHOD_ARG_MAGIC;