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