| #ifndef __SHARED_PRINT_BUF | |
| #define __SHARED_PRINT_BUF | |
| struct shared_print_producer { | |
| u32 produced; | |
| u32 bufsize; | |
| char* buf; /* producer address space ptr */ | |
| }; | |
| struct shared_print_consumer { | |
| const volatile struct shared_print_producer * producer; | |
| u32 consumed; | |
| char* buf; /* consumer address space ptr */ | |
| }; | |
| #endif // __SHARED_PRINT_BUF |