EcGpeHandler
sc->ec_gpebit, ACPI_GPE_EDGE_TRIGGERED, &EcGpeHandler, sc);
&EcGpeHandler);
static uint32 EcGpeHandler(acpi_handle gpeDevice, uint32 gpeNumber,