42 }
while ((start -
value) < ticks);
45 #if CONFIG(LAPIC_MONOTONIC_TIMER)
68 "apic timer freq (%d) may be too fast.\n",
void timer_monotonic_get(struct mono_time *mt)
#define printk(level,...)
static void mono_time_add_usecs(struct mono_time *mt, long us)
static __always_inline void lapic_write(unsigned int reg, uint32_t v)
static __always_inline uint32_t lapic_read(unsigned int reg)
#define LAPIC_LVT_TIMER_PERIODIC
int thread_yield_microseconds(unsigned int microsecs)
#define BIOS_WARNING
BIOS_WARNING - Bad configuration.
static struct monotonic_counter mono_counter