80 	va_list arg_list;  in acpi_ut_predefined_warning()  local
92 	va_start(arg_list, format);  in acpi_ut_predefined_warning()
93 	acpi_os_vprintf(format, arg_list);  in acpi_ut_predefined_warning()
95 	va_end(arg_list);  in acpi_ut_predefined_warning()
122 	va_list arg_list;  in acpi_ut_predefined_info()  local
134 	va_start(arg_list, format);  in acpi_ut_predefined_info()
135 	acpi_os_vprintf(format, arg_list);  in acpi_ut_predefined_info()
137 	va_end(arg_list);  in acpi_ut_predefined_info()
165 	va_list arg_list;  in acpi_ut_predefined_bios_error()  local
177 	va_start(arg_list, format);  in acpi_ut_predefined_bios_error()
178 	acpi_os_vprintf(format, arg_list);  in acpi_ut_predefined_bios_error()
180 	va_end(arg_list);  in acpi_ut_predefined_bios_error()