|
Retro Rocket Kernel
BASIC-Powered Operating System
|
#include <stdint.h>Functions | |
| static uint64_t | rdtsc () |
| void | sleep_one_tick () |
| void | beep (uint32_t pitch) |
| void | stopbeep () |
| void | sleep (uint64_t secs) |
| uint64_t | get_ticks () |
| void | timer_callback (uint8_t isr, uint64_t errorcode, uint64_t irq, void *opaque) |
| void beep | ( | uint32_t | pitch | ) |
| uint64_t get_ticks | ( | ) |
|
inlinestatic |
| void sleep | ( | uint64_t | secs | ) |
| void sleep_one_tick | ( | ) |
| void stopbeep | ( | ) |
| void timer_callback | ( | uint8_t | isr, |
| uint64_t | errorcode, | ||
| uint64_t | irq, | ||
| void * | opaque | ||
| ) |