acpi_ut_short_divide
acpi_ut_short_divide(u64 in_dividend,
(void)acpi_ut_short_divide(digit, 10, &digit,
(void)acpi_ut_short_divide(digit, 10, &digit,
(void)acpi_ut_short_divide((u64) address, length, NULL, &remainder);
(void)acpi_ut_short_divide(current_value, base, ¤t_value,
(void)acpi_ut_short_divide(value, 10, &value, &remainder);
status = acpi_ut_short_divide(delta_ticks * ACPI_USEC_PER_SEC,
acpi_ut_short_divide(ACPI_UINT64_MAX, base, "ient, NULL);