Symbol: ACPI_ROUND_UP_TO