#include #include int __fastcall__ write_xstack (const void* buf, unsigned count, int fildes) { unsigned i; if (count > 512) { return _mappederrno (EINVAL); } for (i = count; i;) { ria_push_char (((char*)buf)[--i]); } ria_set_ax (fildes); return ria_call_int_errno (RIA_OP_WRITE_XSTACK); }