Functions | |
bigtime_t | get_system_time (void) |
Returns the time elapsed since last system boot. | |
bigtime_t | get_real_time (void) |
Returns the number of microseconds since 1970-01-01. | |
bigtime_t | get_idle_time (int nProcessor) |
Returns the total idle time for the given CPU. | |
void | TimerInterrupt (SysCallRegs_s *psRegs) |
This is the timer interrupt handler, called INT_FREQ times per second. | |
void | start_timer_int (void) |
Initializes the PIT timers. | |
void | get_cmos_time (void) |
Sets the system time from the battery-backed CMOS clock. |
void get_cmos_time | ( | void | ) |
Sets the system time from the battery-backed CMOS clock.
bigtime_t get_idle_time | ( | int | nProcessor | ) |
Returns the total idle time for the given CPU.
nProcessor | the processor for which to return the idle time. |
bigtime_t get_real_time | ( | void | ) |
Returns the number of microseconds since 1970-01-01.
bigtime_t get_system_time | ( | void | ) |
Returns the time elapsed since last system boot.
void start_timer_int | ( | void | ) |
Initializes the PIT timers.
void TimerInterrupt | ( | SysCallRegs_s * | psRegs | ) |
This is the timer interrupt handler, called INT_FREQ times per second.
It updates the system time and calls functions send_timer_signals() and wake_up_sleepers(). If there is no APIC present, Schedule() is also called here; otherwise, Schedule() is called for each CPU via do_smp_preempt(), which is triggered by the APIC timer.
dummy | unused. |