syscalls.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED FILE
// Generated by src/syscall-generator.pl
 
#include <stdbool.h>
#include <sys/types.h>
#include <stdint.h>
#include <sys/message_passing.h>
 
// Syscall group scheduler:
//   Syscalls changing the scheduling of the calling process.
 
static inline __attribute__((artificial)) void sc_do_scheduler_exit(uint8_t exit_code) {
    uint64_t rax = (uint64_t)(exit_code & 255);
    uint64_t rdx = ((0 & 0xFF) << 24) | (0 & 0xFFFFFF);
 
    asm("syscall"::"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
}
 
static inline __attribute__((artificial)) void sc_do_scheduler_clone(bool share_memory, void* entry, pid_t* pid) {
    uint64_t rdi = (uint64_t)(entry);
    uint64_t rax = (uint64_t)(share_memory & 1);
    uint64_t rdx = ((0 & 0xFF) << 24) | (1 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"D"(rdi), "a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *pid = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_scheduler_sleep(uint64_t nanoseconds) {
    uint64_t rax = (uint64_t)(nanoseconds);
    uint64_t rdx = ((0 & 0xFF) << 24) | (2 & 0xFFFFFF);
 
    asm("syscall"::"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
}
 
static inline __attribute__((artificial)) void sc_do_scheduler_get_pid(bool parent, pid_t* pid) {
    uint64_t rax = (uint64_t)(parent & 1);
    uint64_t rdx = ((0 & 0xFF) << 24) | (3 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *pid = (rax);
}
 
// Syscall group memory:
//   Syscalls affecting memory mappings for this or other processes
 
static inline __attribute__((artificial)) void sc_do_memory_sbrk(int64_t inc, void** data_end) {
    uint64_t rax = (uint64_t)(inc);
    uint64_t rdx = ((1 & 0xFF) << 24) | (0 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *data_end = (void*)(rax);
}
 
// Syscall group hardware:
//   Various syscalls to access hardware resources
 
static inline __attribute__((artificial)) void sc_do_hardware_framebuffer(uint32_t** framebuffer, uint16_t* width, uint16_t* height, uint16_t* stride, uint16_t* colorFormat) {
    uint64_t rdx = ((2 & 0xFF) << 24) | (0 & 0xFFFFFF);
    uint64_t rdi;
    uint64_t rax;
 
    asm("syscall":"=D"(rdi), "=a"(rax):"d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *width = (rdi & 65535);
    *height = ((rdi >> 16) & 65535);
    *stride = ((rdi >> 32) & 65535);
    *colorFormat = ((rdi >> 48) & 65535);
    *framebuffer = (uint32_t*)(rax);
}
 
static inline __attribute__((artificial)) void sc_do_hardware_ioperm(uint16_t from, uint16_t num, bool turn_on, uint64_t* error) {
    uint64_t rax = (uint64_t)(from & 65535) | ((uint64_t)(num & 65535) << 16) | ((uint64_t)(turn_on & 1) << 32);
    uint64_t rdx = ((2 & 0xFF) << 24) | (1 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_hardware_interrupt_notify(uint8_t interrupt, bool notify, uint64_t queue, uint64_t* error) {
    uint64_t rax = (uint64_t)(interrupt & 255) | ((uint64_t)(notify & 1) << 8);
    uint64_t rdi = (uint64_t)(queue);
    uint64_t rdx = ((2 & 0xFF) << 24) | (2 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"a"(rax), "D"(rdi), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rax);
}
 
// Syscall group locking:
//   Mutexes, Semaphores, and co
 
static inline __attribute__((artificial)) void sc_do_locking_create_mutex(uint64_t* mutex, uint64_t* error) {
    uint64_t rdx = ((3 & 0xFF) << 24) | (0 & 0xFFFFFF);
    uint64_t rdi;
    uint64_t rax;
 
    asm("syscall":"=D"(rdi), "=a"(rax):"d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rdi);
    *mutex = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_locking_destroy_mutex(uint64_t mutex, uint64_t* error) {
    uint64_t rax = (uint64_t)(mutex);
    uint64_t rdx = ((3 & 0xFF) << 24) | (1 & 0xFFFFFF);
    uint64_t rdi;
 
    asm("syscall":"=D"(rdi):"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rdi);
}
 
static inline __attribute__((artificial)) void sc_do_locking_lock_mutex(uint64_t mutex, bool trylock, uint64_t* error) {
    uint64_t rax = (uint64_t)(mutex);
    uint64_t rdi = (uint64_t)(trylock & 1);
    uint64_t rdx = ((3 & 0xFF) << 24) | (2 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"a"(rax), "D"(rdi), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_locking_unlock_mutex(uint64_t mutex, uint64_t* error) {
    uint64_t rax = (uint64_t)(mutex);
    uint64_t rdx = ((3 & 0xFF) << 24) | (3 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_locking_create_condvar(uint64_t* condvar, uint64_t* error) {
    uint64_t rdx = ((3 & 0xFF) << 24) | (4 & 0xFFFFFF);
    uint64_t rdi;
    uint64_t rax;
 
    asm("syscall":"=D"(rdi), "=a"(rax):"d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rdi);
    *condvar = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_locking_destroy_condvar(uint64_t condvar, uint64_t* error) {
    uint64_t rax = (uint64_t)(condvar);
    uint64_t rdx = ((3 & 0xFF) << 24) | (5 & 0xFFFFFF);
    uint64_t rdi;
 
    asm("syscall":"=D"(rdi):"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rdi);
}
 
static inline __attribute__((artificial)) void sc_do_locking_signal_condvar(uint64_t condvar, uint64_t amount, uint64_t* error) {
    uint64_t rax = (uint64_t)(condvar);
    uint64_t rdi = (uint64_t)(amount);
    uint64_t rdx = ((3 & 0xFF) << 24) | (6 & 0xFFFFFF);
 
    asm("syscall":"=D"(rdi):"a"(rax), "D"(rdi), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rdi);
}
 
static inline __attribute__((artificial)) void sc_do_locking_wait_condvar(uint64_t condvar, uint64_t timeout, uint64_t* error) {
    uint64_t rdi = (uint64_t)(timeout);
    uint64_t rax = (uint64_t)(condvar);
    uint64_t rdx = ((3 & 0xFF) << 24) | (7 & 0xFFFFFF);
 
    asm("syscall":"=D"(rdi):"D"(rdi), "a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rdi);
}
 
// Syscall group ipc:
//   Interprocess-communication
 
static inline __attribute__((artificial)) void sc_do_ipc_mq_create(bool global_read, bool global_write, size_t message_limit, size_t data_limit, uint64_t* mq, uint64_t* error) {
    uint64_t rsi = (uint64_t)(data_limit);
    uint64_t rax = (uint64_t)(global_read & 1) | ((uint64_t)(global_write & 1) << 1);
    uint64_t rdi = (uint64_t)(message_limit);
    uint64_t rdx = ((4 & 0xFF) << 24) | (0 & 0xFFFFFF);
 
    asm("syscall":"=D"(rdi), "=a"(rax):"S"(rsi), "a"(rax), "D"(rdi), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rdi);
    *mq = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_ipc_mq_destroy(uint64_t mq, uint64_t* error) {
    uint64_t rax = (uint64_t)(mq);
    uint64_t rdx = ((4 & 0xFF) << 24) | (1 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_ipc_mq_poll(uint64_t queue, bool wait, struct Message* message, uint64_t* error) {
    uint64_t rsi = (uint64_t)(message);
    uint64_t rax = (uint64_t)(queue);
    uint64_t rdi = (uint64_t)(wait & 1);
    uint64_t rdx = ((4 & 0xFF) << 24) | (2 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"S"(rsi), "a"(rax), "D"(rdi), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_ipc_mq_send(uint64_t queue, uint64_t process, struct Message* message, uint64_t* error) {
    uint64_t rsi = (uint64_t)(message);
    uint64_t rdi = (uint64_t)(process);
    uint64_t rax = (uint64_t)(queue);
    uint64_t rdx = ((4 & 0xFF) << 24) | (3 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"S"(rsi), "D"(rdi), "a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_ipc_service_register(const uuid_t* uuid, uint64_t queue, uint64_t* error) {
    uint64_t rdi = (uint64_t)(queue);
    uint64_t rax = (uint64_t)(uuid);
    uint64_t rdx = ((4 & 0xFF) << 24) | (4 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"D"(rdi), "a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rax);
}
 
static inline __attribute__((artificial)) void sc_do_ipc_service_discover(const uuid_t* uuid, uint64_t queue, struct Message* message, uint64_t* error) {
    uint64_t rax = (uint64_t)(uuid);
    uint64_t rdi = (uint64_t)(queue);
    uint64_t rsi = (uint64_t)(message);
    uint64_t rdx = ((4 & 0xFF) << 24) | (5 & 0xFFFFFF);
 
    asm("syscall":"=a"(rax):"a"(rax), "D"(rdi), "S"(rsi), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *error = (rax);
}
 
// Syscall group clock:
//   Clock syscalls (time since system start, current time once a driver loaded it into the kernel, sleep, ...)
 
static inline __attribute__((artificial)) void sc_do_clock_read(uint64_t* nanoseconds) {
    uint64_t rdx = ((5 & 0xFF) << 24) | (0 & 0xFFFFFF);
    uint64_t rax;
 
    asm("syscall":"=a"(rax):"d"(rdx):"rbx", "rcx", "r11", "memory");
 
    *nanoseconds = (rax);
}
 
// Syscall group debug:
//   Debugging syscalls (simple text output, logging, ...)
 
static inline __attribute__((artificial)) void sc_do_debug_print(char* str) {
    uint64_t rax = (uint64_t)(str);
    uint64_t rdx = ((255 & 0xFF) << 24) | (0 & 0xFFFFFF);
 
    asm("syscall"::"a"(rax), "d"(rdx):"rbx", "rcx", "r11", "memory");
 
}