Welcome to the FoxOS website!
void syscall::sys_ipc_send_message(interrupts::s_registers* regs)
interrupts::s_registers* regs
void