11 #include "xil_types.h"
12 #include "xparameters.h"
13 #include "bspconfig.h"
14 #if HYP_GUEST && EL1_NONSECURE && XEN_USE_PV_CONSOLE
15 #include "xen_console.h"
18 /*----------------------------------------------------*/
19 /* Use the following parameter passing structure to */
20 /* make xil_printf re-entrant. */
21 /*----------------------------------------------------*/
26 /*---------------------------------------------------*/
27 /* The purpose of this routine is to output data the */
28 /* same as the standard printf function without the */
29 /* overhead most run-time libraries involve. Usually */
30 /* the printf brings in many kilobytes of code and */
31 /* that is unacceptable in most embedded systems. */
32 /*---------------------------------------------------*/
34 typedef char8* charptr;
35 typedef s32 (*func_ptr)(int c);
39 void xil_printf( const char8 *ctrl1, ...);
40 void print( const char8 *ptr);
41 extern void outbyte (char8 c);
42 extern char8 inbyte(void);
48 #endif /* end of protection macro */