ACPI_ROUND_UP_TO_64BIT
temp_size_needed = ACPI_ROUND_UP_TO_64BIT(temp_size_needed);
(u32) ACPI_ROUND_UP_TO_64BIT(user_prt->length);