Searched refs:acpi_integer (Results 1 – 2 of 2) sorted by relevance
259 acpi_integer *value) in acpi_format_ipmi_request()315 acpi_integer *value) in acpi_format_ipmi_response()542 u32 bits, acpi_integer *value, in acpi_ipmi_space_handler()
501 typedef u64 acpi_integer; typedef