blob: 7f70db97384d7fafc5c4d296adcd8c69d45845ee [file] [log] [blame]
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +01001/*
2 * Copyright (c) 2017-2024, Arm Limited. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 *
6 */
7/*
8 * Based on TF-A common/tf_log.c
9 */
10
11#include <assert.h>
12#include <stdarg.h>
13#include <stdint.h>
14#include <stddef.h>
15
16#include "tfm_vprintf.h"
17
18static inline const char *get_log_prefix(uint8_t log_level)
19{
20 switch(log_level) {
21 case LOG_LEVEL_ERROR:
22 return "[ERR]";
23 case LOG_LEVEL_NOTICE:
24 return "[NOT]";
25 case LOG_LEVEL_WARNING:
26 return "[WAR]";
27 case LOG_LEVEL_INFO:
28 return "[INF]";
29 case LOG_LEVEL_VERBOSE:
30 return "[VER]";
31 default:
32 /* String must start with LOG_MARKER_* */
33 assert(0);
Jackson Cooper-Driver57a13c62024-09-04 16:01:45 +000034 return NULL;
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010035 }
36}
37
38static void output_char(tfm_log_output_str output_func, void *priv, char c)
39{
Antonio de Angelis4f021312024-11-09 21:02:33 +000040 output_func(priv, &c, 1);
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010041}
42
Jackson Cooper-Driver9db08832025-01-24 11:24:20 +000043static void output_str(tfm_log_output_str output_func, void *priv,
44 const char *str, uint32_t len, bool calculate_length)
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010045{
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010046 const char *str_ptr = str;
47
Jackson Cooper-Driver9db08832025-01-24 11:24:20 +000048 if (calculate_length) {
49 len = 0;
50 while (*str_ptr++ != '\0') {
51 len++;
52 }
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010053 }
54
Antonio de Angelis4f021312024-11-09 21:02:33 +000055 output_func(priv, str, len);
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010056}
57
58static void output_val(tfm_log_output_str output_func, void *priv, uint32_t val,
Jackson Cooper-Driverd6ddcb82025-01-21 11:39:28 +000059 uint16_t num_padding, bool zero_padding, uint8_t base, bool signed_specifier)
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010060{
61 uint8_t digit, chars_to_print;
62 uint16_t i;
Jackson Cooper-Driverd6ddcb82025-01-21 11:39:28 +000063 /* uint32_t has maximum value of 4,294,967,295. Require enough space in buffer
Jackson Cooper-Driver9db08832025-01-24 11:24:20 +000064 * for 10 digits + null terminator + '-' */
65 char buf[12];
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010066 char *const buf_end = &buf[sizeof(buf) - 1];
67 char *buf_ptr = buf_end;
68 const char pad_char = zero_padding ? '0' : ' ';
Jackson Cooper-Driverd6ddcb82025-01-21 11:39:28 +000069 const char negative_char = '-';
70 bool negative = false;
71
72 if (signed_specifier && ((int32_t)val < 0)) {
73 val = -val;
74 negative = true;
75 }
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010076
77 /* Ensure buffer ends with NULL character */
78 *buf_ptr-- = '\0';
79
80 do {
Jackson Cooper-Driverd6ddcb82025-01-21 11:39:28 +000081 digit = val % base;
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010082
83 if (digit < 10) {
84 *buf_ptr-- = '0' + digit;
85 } else {
86 *buf_ptr-- = 'a' + digit - 10;
87 }
88
Jackson Cooper-Driverd6ddcb82025-01-21 11:39:28 +000089 val /= base;
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +010090 } while (val);
91
Jackson Cooper-Driver9db08832025-01-24 11:24:20 +000092 if (negative) {
93 if (!zero_padding) {
94 *buf_ptr-- = negative_char;
95 } else {
96 output_char(output_func, priv, negative_char);
97 }
98 }
99
100 chars_to_print = (buf_end - 1) - buf_ptr;
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100101 if (num_padding > chars_to_print) {
102 num_padding -= chars_to_print;
103 } else {
104 num_padding = 0;
105 }
106
107 for (i = 0; i < num_padding; i++) {
108 output_char(output_func, priv, pad_char);
109 }
110
Jackson Cooper-Driver9db08832025-01-24 11:24:20 +0000111 output_str(output_func, priv, buf_ptr + 1, chars_to_print, false);
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100112}
113
114/* Basic vprintf, understands:
115 * %s: output string
Jackson Cooper-Driverd6ddcb82025-01-21 11:39:28 +0000116 * %u: output uint32_t in decimal
117 * %d: output int32_t in decimal
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100118 * %x: output uint32_t in hex
119 */
120static void tfm_vprintf_internal(tfm_log_output_str output_func,
121 void *priv, const char *fmt, va_list args)
122{
123 char c;
124 bool formatting = false;
125 uint16_t num_padding = 0;
126 bool zero_padding = false;
127
128 while ((c = *fmt++) != '\0') {
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100129 if (!formatting) {
Jackson Cooper-Driver65940702024-09-04 15:57:12 +0000130 if (c == '%') {
131 zero_padding = false;
132 num_padding = 0;
133 formatting = true;
134 } else {
135 if (c == '\n') {
136 output_char(output_func, priv, '\r');
137 }
138 output_char(output_func, priv, c);
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100139 }
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100140 continue;
141 }
142
143 switch (c) {
144 case 'l':
145 continue;
Jackson Cooper-Driverd6ddcb82025-01-21 11:39:28 +0000146 case 'u':
147 output_val(output_func, priv, va_arg(args, uint32_t), num_padding, zero_padding, 10, false);
148 break;
149 case 'd':
150 output_val(output_func, priv, va_arg(args, uint32_t), num_padding, zero_padding, 10, true);
151 break;
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100152 case 'x':
Jackson Cooper-Driverd6ddcb82025-01-21 11:39:28 +0000153 output_val(output_func, priv, va_arg(args, uint32_t), num_padding, zero_padding, 16, false);
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100154 break;
155 case 's':
Jackson Cooper-Driver9db08832025-01-24 11:24:20 +0000156 output_str(output_func, priv, va_arg(args, char *), 0, true);
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100157 break;
158 case '0':
159 if (num_padding == 0) {
160 zero_padding = true;
161 continue;
162 }
163 /* fallthrough */
164 case '1':
165 case '2':
166 case '3':
167 case '4':
168 case '5':
169 case '6':
170 case '7':
171 case '8':
172 case '9':
173 num_padding *= 10;
174 num_padding += c - '0';
175 continue;
176 case '%':
177 output_char(output_func, priv, '%');
178 break;
179 default:
Jackson Cooper-Driver9db08832025-01-24 11:24:20 +0000180 output_str(output_func, priv, "[Unsupported]", 0, true);
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100181 }
182
183 formatting = false;
184 }
185}
186
187void tfm_vprintf(tfm_log_output_str output_func, void *priv, const char *fmt, va_list args)
188{
189 uint8_t log_level;
190 const char spacer = ' ';
191
192 /* We expect the LOG_MARKER_* macro as the first character */
193 log_level = fmt[0];
194 fmt++;
195
Jackson Cooper-Driver9db08832025-01-24 11:24:20 +0000196 output_str(output_func, priv, get_log_prefix(log_level), 0, true);
Jackson Cooper-Drivered984c92024-08-14 16:12:40 +0100197 output_char(output_func, priv, spacer);
198
199 tfm_vprintf_internal(output_func, priv, fmt, args);
200}