51 lines
1.3 KiB
Plaintext
51 lines
1.3 KiB
Plaintext
|
|
// Write to a file descriptor using the SYS_write syscall
|
|
// args: [buff_size, buff_ptr, fd]
|
|
// @arg buff_size: Int - number of bytes to write
|
|
// @arg buff_ptr: Ptr - pointer to the buffer to write
|
|
// @arg fd: Int - file descriptor
|
|
// @ret Int
|
|
inline fn write with int ptr int returns int then
|
|
SYS_write syscall3
|
|
done
|
|
|
|
// Write to a file descriptor using the SYS_write syscall
|
|
// args: [buff_size, buff_ptr, fd]
|
|
// @arg buff_size: Int - number of bytes to write
|
|
// @arg buff_ptr: Ptr - pointer to the buffer to write
|
|
// @arg fd: Int - file descriptor
|
|
// @ret Int
|
|
inline fn read with int ptr int returns int then
|
|
SYS_read syscall3
|
|
done
|
|
|
|
|
|
// Print a string to STDOUT
|
|
// args: [str_size, str_ptr]
|
|
// @arg buff_size: Int - number of bytes to write
|
|
// @arg buff_ptr: Ptr - pointer to the buffer to write
|
|
// @ret NULL
|
|
inline fn puts with int ptr returns void then
|
|
STDOUT write drop
|
|
done
|
|
|
|
// Print a string to STDERR
|
|
// args: [str_size, str_ptr]
|
|
// @arg buff_size: Int - number of bytes to write
|
|
// @arg buff_ptr: Ptr - pointer to the buffer to write
|
|
// @ret NULL
|
|
inline fn eputs with int ptr returns void then
|
|
STDOUT write drop
|
|
done
|
|
|
|
// TODO: make putc and eputc after we make local mem
|
|
|
|
// Exit the program with exit_code
|
|
// args: [exit_code]
|
|
// @arg exit_code: Int
|
|
// @ret NULL/NEVER
|
|
inline fn exit with int returns void then
|
|
SYS_exit syscall1 drop
|
|
done
|
|
|