1 /* 2 * Copyright 2018 The Hafnium Authors. 3 * 4 * Use of this source code is governed by a BSD-style 5 * license that can be found in the LICENSE file or at 6 * https://opensource.org/licenses/BSD-3-Clause. 7 */ 8 9 #pragma once 10 11 #include "hf/mm.h" 12 #include "hf/mpool.h" 13 14 /** Initialises the console hardware. */ 15 void plat_console_init(void); 16 17 /** Initialises any memory mappings that the console driver needs. */ 18 void plat_console_mm_init(struct mm_stage1_locked stage1_locked, 19 struct mpool *ppool); 20 21 /** Puts a single character on the console. This is a blocking call. */ 22 void plat_console_putchar(char c); 23 24 /** Gets a single character from the console. This is a blocking call. */ 25 char plat_console_getchar(void); 26