Searched refs:acpi_integer (Results 1 – 2 of 2) sorted by relevance
242 acpi_integer *value) in acpi_format_ipmi_request()298 acpi_integer *value) in acpi_format_ipmi_response()524 u32 bits, acpi_integer *value, in acpi_ipmi_space_handler()
472 typedef u64 acpi_integer; typedef
