Searched refs:acpi_integer (Results 1 – 2 of 2) sorted by relevance
255 acpi_integer *value) in acpi_format_ipmi_request()311 acpi_integer *value) in acpi_format_ipmi_response()538 u32 bits, acpi_integer *value, in acpi_ipmi_space_handler()
496 typedef u64 acpi_integer; typedef