Index: kernel/arch/arm64/include/arch/machine_func.h
===================================================================
--- kernel/arch/arm64/include/arch/machine_func.h	(revision 06f10ac669769c5153b94682f2807b60a365293a)
+++ kernel/arch/arm64/include/arch/machine_func.h	(revision e2ca44feaf2bb3b90a8560ec94c36cd84b4187a1)
@@ -50,4 +50,5 @@
 	size_t (*machine_get_irq_count)(void);
 	const char *(*machine_get_platform_name)(void);
+	void (*machine_early_uart_output)(char32_t);
 };
 
@@ -60,4 +61,5 @@
 extern size_t machine_get_irq_count(void);
 extern const char *machine_get_platform_name(void);
+extern void machine_early_uart_output(char32_t);
 
 #endif