time_calls.h File Reference

#include "cpu/idt/state/interrupt_state.h"
#include "cpu/timer/timer.h"

Go to the source code of this file.

Functions
void	syscall_timer_get_system_clock (interrupt_state *state)

Function Documentation

syscall_timer_get_system_clock()

void syscall_timer_get_system_clock

(

interrupt_state *

state

)