| #include <stdio.h> | |
| #include "c99ppe.h" | |
| #ifndef _REENT_ONLY | |
| int | |
| _DEFUN (puts, (s), | |
| char _CONST * s) | |
| { | |
| CHECK_STD_INIT(_REENT); | |
| /* The return value gets written over s | |
| */ | |
| return __send_to_ppe(SPE_C99_SIGNALCODE, SPE_C99_PUTS, &s); | |
| } | |
| #endif /* ! _REENT_ONLY */ |