16 #include "ecall_nums.h"
18 static inline struct ecall_entry
const *
19 ecall_entry(long id
) {
20 return &rv_to_host
[id
];
24 ecall_idargs(struct core_t
const *cpu
, long arguments
[6]) {
25 arguments
[0] = cpu
->reg
[10].l
;
26 arguments
[1] = cpu
->reg
[11].l
;
27 arguments
[2] = cpu
->reg
[12].l
;
28 arguments
[3] = cpu
->reg
[13].l
;
29 arguments
[4] = cpu
->reg
[14].l
;
30 arguments
[5] = cpu
->reg
[15].l
;
32 return cpu
->reg
[17].l
;