43void wrmsr64(uint32_t msr, uint64_t value);
44uint64_t rdmsr64(uint32_t msr);
45uint64_t rdtsc64(
void);
This is a basic header files with FrostWing specific short forms and basically a good for life header...
void high_level_halt(void)
It uses while loops instead of assembly's halt, Good for Userland.
void hcf2(void)
Halt and catch fire function but doesn't print any text.
void hcf(void)
Halt and catch fire function.
void set_interrupts(void)
The set interrupts command for various architectures.
void clear_interrupts(void)
The clear interrupts command for all architectures.