Symbol: ACPI_CAST32
src/add-ons/kernel/bus_managers/acpi/acpica/include/acmacros.h
167
#define ACPI_GET32(ptr) (*ACPI_CAST32 (ptr))
src/add-ons/kernel/bus_managers/acpi/acpica/include/acmacros.h
171
#define ACPI_SET32(ptr, val) (*ACPI_CAST32 (ptr) = (UINT32) (val))