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