Add syscalls

This commit is contained in:
2024-04-04 17:00:02 +02:00
parent fc6f82731e
commit a9a5c9f830
5 changed files with 173 additions and 2 deletions

20
syscall/jasmin_syscall.h Normal file
View File

@@ -0,0 +1,20 @@
#include <stdint.h>
#ifndef JASMIN_SYSCALL
#define JASMIN_SYSCALL
/* FIXME this need xlen to be Uptr */
uint8_t* __jasmin_syscall_randombytes__(uint8_t* x, uint64_t xlen)
asm("__jasmin_syscall_randombytes__");
uint64_t __jasmin_syscall_open__(uint8_t* x, uint64_t xlen)
asm("__jasmin_syscall_open__");
uint8_t __jasmin_syscall_close__(uint64_t fd)
asm("__jasmin_syscall_close__");
uint8_t* __jasmin_syscall_write__(uint8_t* x, uint64_t xlen, uint64_t fd)
asm("__jasmin_syscall_write__");
uint8_t* __jasmin_syscall_read__(uint8_t* x, uint64_t xlen, uint64_t fd)
asm("__jasmin_syscall_read__");
#endif