| /* |
| * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) |
| * |
| * SPDX-License-Identifier: BSD-2-Clause |
| */ |
| |
| #include <sel4debug/debug.h> |
| #include <sel4/sel4.h> |
| #include <stdarg.h> |
| #include <stdio.h> |
| |
| int |
| debug_safe_printf(const char *format, ...) |
| { |
| seL4_IPCBuffer shadow_buffer; /* XXX: Should we avoid allocating |
| * this large struct on the stack? |
| */ |
| |
| /* Assume that the standard printf may clobber the IPC buffer, so save it |
| * before. |
| */ |
| shadow_buffer = *(seL4_GetIPCBuffer()); |
| |
| /* Copied from printf: */ |
| int ret; |
| va_list ap; |
| |
| va_start(ap, format); |
| ret = vfprintf(stdout, format, ap); |
| va_end(ap); |
| |
| /* Now restore the IPC buffer. */ |
| *(seL4_GetIPCBuffer()) = shadow_buffer; |
| |
| return ret; |
| } |
