Make acpi_getpropint() return uint64_t, as ACPI integers are in fact that
authorpatrick <patrick@openbsd.org>
Wed, 12 Jan 2022 11:18:30 +0000 (11:18 +0000)
committerpatrick <patrick@openbsd.org>
Wed, 12 Jan 2022 11:18:30 +0000 (11:18 +0000)
commit4582e297db0b2e6de20b22ea9290bfb1e811b954
treeac218ca27e5ee1239350f696952d08851f3ce638
parentf1d51a76577e9f7ac8bc8385b050782a83e4d4f1
Make acpi_getpropint() return uint64_t, as ACPI integers are in fact that
wide and some _DSD properties depend on it.

ok kettenis@
sys/dev/acpi/acpi.c
sys/dev/acpi/acpivar.h