diff options
| author | davidcunado-arm <david.cunado@arm.com> | 2017-04-12 22:23:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-12 22:23:44 +0100 |
| commit | f07d3985b86acc6abc963924d82c9ba9a795fb22 (patch) | |
| tree | 1c516dd4d561e9a71ea1fc8b9b6527b78cff0d21 /include | |
| parent | 45cd814bf71b311686db9fa65f78171ba5abf02f (diff) | |
| parent | 1e09ff93444943edcebfb167202f37a5e7913d92 (diff) | |
Merge pull request #885 from antonio-nino-diaz-arm/an/console-flush
Implement console_flush()
Diffstat (limited to 'include')
| -rw-r--r-- | include/drivers/console.h | 3 | ||||
| -rw-r--r-- | include/plat/common/platform.h | 1 |
2 files changed, 3 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__ */ diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h index f13b30d8..ddb1cab1 100644 --- a/include/plat/common/platform.h +++ b/include/plat/common/platform.h @@ -100,6 +100,7 @@ uintptr_t plat_get_my_stack(void); void plat_report_exception(unsigned int exception_type); int plat_crash_console_init(void); int plat_crash_console_putc(int c); +int plat_crash_console_flush(void); void plat_error_handler(int err) __dead2; void plat_panic_handler(void) __dead2; |