#include int __fastcall__ write_xram (unsigned buf, unsigned count, int fildes) { ria_push_int (buf); ria_push_int (count); ria_set_ax (fildes); return ria_call_int_errno (RIA_OP_WRITE_XRAM); }