Restructure the repository.

.

common/inc/plat/qemu_virt.h

@@ -24,14 +24,3 @@
 
 /// Stack size of 1024 KiB
 #define S3K_LOG_STACK_SIZE 10
-
-#define INIT_CAPS                                                     \
-	{                                                             \
-		[0] = cap_mk_pmp(0x20005fff, MEM_RWX),                \
-		[1] = cap_mk_memory(0x80020000, 0x88000000, MEM_RWX), \
-		[2] = cap_mk_memory(0x10000000, 0x10001000, MEM_RW),  \
-		[3] = cap_mk_memory(0x200b000, 0x200c000, MEM_R),     \
-		[4] = cap_mk_time(0, 0, S3K_SLOT_CNT),                \
-		[8] = cap_mk_monitor(0, S3K_PROC_CNT),                \
-		[9] = cap_mk_channel(0, S3K_CHAN_CNT),                \
-	}

common/src/altc/printf.c

@@ -3,116 +3,21 @@
 #include <stdarg.h>
 #include <stddef.h>
 
-#define ALT_PRINTF_BUF_SIZE 128
-
-static char *write_dec(char *restrict dst, const char *end,
-		       unsigned long long val)
-{
-	if (!val && dst != end) {
-		*(dst++) = '0';
-	} else if (dst != end) {
-		int i = 0;
-		char buf[24];
-		while (val) {
-			int tmp = val % 10;
-			buf[i++] = '0' + tmp;
-			val /= 10;
-		}
-		while (i > 0 && dst != end)
-			*(dst++) = buf[--i];
-	}
-	return dst;
-}
-
-static char *write_hex(char *restrict dst, const char *end,
-		       unsigned long long val)
-{
-	if (!val && dst != end) {
-		*(dst++) = '0';
-	} else if (dst != end) {
-		int i = 0;
-		char buf[16];
-		while (val) {
-			int tmp = val & 0xF;
-			buf[i++] = tmp < 10 ? ('0' + tmp) : 'A' + (tmp - 10);
-			val >>= 4;
-		}
-		while (i > 0 && dst != end)
-			*(dst++) = buf[--i];
-	}
-	return dst;
-}
-
-static char *write_str(char *restrict dst, const char *end, char *restrict src)
-{
-	while (dst != end && *src != '\0')
-		*(dst++) = *(src++);
-	return dst;
-}
-
-static char *write_char(char *restrict dst, const char *end, char c)
-{
-	if (dst != end)
-		*(dst++) = c;
-	return dst;
-}
-
-int alt_vsnprintf(char *restrict str, size_t size, const char *restrict fmt,
-		  va_list ap)
-{
-	char *s = str;
-	const char *end = str + size - 1;
-	while (*fmt != '\0' && s != end) {
-		if (*(fmt++) != '%') {
-			s = write_char(s, end, *(fmt - 1));
-			continue;
-		}
-		switch (*(fmt++)) {
-		case '%':
-			s = write_char(s, end, '%');
-			break;
-		case 'c':
-			s = write_char(s, end, va_arg(ap, int));
-			break;
-		case 's':
-			s = write_str(s, end, va_arg(ap, char *));
-			break;
-		case 'x':
-			s = write_hex(s, end, va_arg(ap, unsigned int));
-			break;
-		case 'X':
-			s = write_hex(s, end, va_arg(ap, unsigned long));
-			break;
-		case 'd':
-			s = write_dec(s, end, va_arg(ap, unsigned int));
-			break;
-		case 'D':
-			s = write_dec(s, end, va_arg(ap, unsigned long));
-			break;
-		case '\0':
-			break;
-		}
-	}
-	*s = '\0';
-	return s - str;
-}
-
-int alt_snprintf(char *restrict str, size_t size, const char *restrict fmt, ...)
-{
-	va_list ap;
-	va_start(ap, fmt);
-	int len = alt_vsnprintf(str, size, fmt, ap);
-	va_end(ap);
-	return len;
-}
-
-int alt_printf(const char *restrict fmt, ...)
-{
-	char buf[ALT_PRINTF_BUF_SIZE];
-	va_list ap;
-	va_start(ap, fmt);
-	int len = alt_vsnprintf(buf, ALT_PRINTF_BUF_SIZE, fmt, ap);
-	va_end(ap);
-	alt_putstr(buf);
-	return len;
-}
+int alt_fputchar(FILE *f, char c);
+int alt_fputuint(FILE *f, unsigned long long val);
+int alt_fputhex(FILE *f, unsigned long long val);
+int alt_fputstr(FILE *f, const char *s);
+int alt_vfprintf(FILE *f, const char *fmt, va_list ap);
+int alt_fprintf(FILE *f, const char *fmt, ...)
+
+    int alt_putchar(char c);
+int alt_putstr(const char *s);
+int alt_putuint(unsigned long long val);
+int alt_puthex(unsigned long long val);
+int alt_vprintf(const char *fmt, va_list ap);
+int alt_printf(const char *fmt, ...);
+
+int alt_snputuint(char *buf, int size, unsigned long long val);
+int alt_snputhex(char *buf, int size, unsigned long long val);
+int alt_snvprintf(char *buf, int size, const char *fmt, va_list ap);
+int alt_snprintf(char *buf, int size, const char *fmt, ...);