diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-02-06 16:03:41 +0000 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-03-31 09:54:21 +0100 |
commit | 73e052846ab4c45194d639ab65b523448a7d7edd (patch) | |
tree | 31f282afacd0d8c9836d345a691d675bc1cedf52 /include/drivers | |
parent | e422f991df48306cd5d9629c4f1ed230b0807fdb (diff) |
Add console_flush() to console API
This function ensures that console output is flushed, for example
before shutting down or use by another component
In line with other console APIs, console_flush() wraps
console_core_flush().
Also implement console_core_flush() for PL011.
Change-Id: I3db365065e4de04a454a5c2ce21be335a23a01e4
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'include/drivers')
-rw-r--r-- | include/drivers/console.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/drivers/console.h b/include/drivers/console.h index 69ad0bd7..e6e3a1cb 100644 --- a/include/drivers/console.h +++ b/include/drivers/console.h @@ -1,5 +1,5 @@ /* - * Copyright (c) 2013-2014, ARM Limited and Contributors. All rights reserved. + * Copyright (c) 2013-2017, ARM Limited and Contributors. All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are met: @@ -38,6 +38,7 @@ int console_init(uintptr_t base_addr, void console_uninit(void); int console_putc(int c); int console_getc(void); +int console_flush(void); #endif /* __CONSOLE_H__ */ |