acpi_ut_short_multiply  528 drivers/acpi/acpica/acutils.h acpi_ut_short_multiply(u64 in_multiplicand, u32 multiplier, u64 *outproduct);
acpi_ut_short_multiply  145 drivers/acpi/acpica/utprint.c 		acpi_ut_short_multiply(number, 10, &number);