acpi_integer      242 drivers/acpi/acpi_ipmi.c 				    acpi_integer *value)
acpi_integer      298 drivers/acpi/acpi_ipmi.c 				      acpi_integer *value)
acpi_integer      524 drivers/acpi/acpi_ipmi.c 			u32 bits, acpi_integer *value,