time_calls.c File Reference

#include "time_calls.h"

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

)