blob: 2d5e134d20e1b2f3b0f9d02e5bb0c6e1f8df0c29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#pragma once
#include <stdint.h>
void cpu_init(void);
void isr_install(int vec, void (*isr)(void), int ist, int trap);
void ist_install(int ist, void *stack);
void int_enable(void);
void int_disable(void);
uint64_t msr_read(uint32_t index);
void msr_write(uint32_t index, uint64_t value);
|
