Symbol: acpi_release_glk
sys/dev/acpi/acpivar.h
400
int acpi_release_glk(uint32_t *);
sys/dev/acpi/dsdt.c
755
st = acpi_release_glk(&acpi_softc->sc_facs->global_lock);