|
Voxia OS v0.0.1
Hobby Project Operating System Targeting x86-64
|
#include <type.h>Go to the source code of this file.
Data Structures | |
| struct | time_counter_t |
Functions | |
| void | usleep (const uint64_t time_ns) |
| void | setup_timer_interrupt (void) |
| void | init_timer_counter (time_counter_t *counter) |
| uint64_t | get_timer_counter_count (time_counter_t *counter) |
| uint64_t | get_timer_counter_count_ms (time_counter_t *counter) |
| uint64_t | get_timer_counter_count_ns (time_counter_t *counter) |
| uint64_t get_timer_counter_count | ( | time_counter_t * | counter | ) |
Definition at line 60 of file timer.c.
References time_counter_t::current, and vxHPETGetMainCount().
Referenced by get_timer_counter_count_ns(), and vxAPICTimerCalibrationUsingHPET().
| uint64_t get_timer_counter_count_ms | ( | time_counter_t * | counter | ) |
Definition at line 64 of file timer.c.
References time_counter_t::current, ns2ms, vxHPETGetMainCount(), and vxHPETMinTickNs().
| uint64_t get_timer_counter_count_ns | ( | time_counter_t * | counter | ) |
Definition at line 69 of file timer.c.
References get_timer_counter_count(), and vxHPETMinTickNs().
Referenced by vxAPICTimerCalibrationUsingHPET().
| void init_timer_counter | ( | time_counter_t * | counter | ) |
Definition at line 56 of file timer.c.
References time_counter_t::current, and vxHPETGetMainCount().
Referenced by vxAPICTimerCalibrationUsingHPET().
| void setup_timer_interrupt | ( | void | ) |
Definition at line 26 of file timer.c.
References get_current_core_cpuid(), INTERRUPT_ATTR_KERNEL, irq_register(), and usleep_backend().
Referenced by __attribute__(), and INIT().
| void usleep | ( | const uint64_t | time_ns | ) |
Definition at line 31 of file timer.c.
References APIC_TIMER_ONE_SHOT, core, each_core_data, g__scheduler__is__running, get_current_core_data(), vxAPICCreateTimer(), vxHPETIsAvailable(), and vxHPETSleep().
Referenced by wait_until_receive_notify().