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