Changeset View
Changeset View
Standalone View
Standalone View
sys/riscv/include/cpu.h
Show First 20 Lines • Show All 77 Lines • ▼ Show 20 Lines | |||||
#define MARCHID_UCB_ROCKET MARCHID_OPENSOURCE(1) | #define MARCHID_UCB_ROCKET MARCHID_OPENSOURCE(1) | ||||
#define MARCHID_UCB_BOOM MARCHID_OPENSOURCE(2) | #define MARCHID_UCB_BOOM MARCHID_OPENSOURCE(2) | ||||
#define MARCHID_UCB_SPIKE MARCHID_OPENSOURCE(5) | #define MARCHID_UCB_SPIKE MARCHID_OPENSOURCE(5) | ||||
#define MARCHID_UCAM_RVBS MARCHID_OPENSOURCE(10) | #define MARCHID_UCAM_RVBS MARCHID_OPENSOURCE(10) | ||||
/* SiFive marchid values */ | /* SiFive marchid values */ | ||||
#define MARCHID_SIFIVE_U7 MARCHID_COMMERCIAL(7) | #define MARCHID_SIFIVE_U7 MARCHID_COMMERCIAL(7) | ||||
/* | |||||
* MMU virtual-addressing modes. Support for each level implies the previous, | |||||
* so Sv48-enabled systems MUST support Sv39, etc. | |||||
*/ | |||||
#define MMU_SV39 0x1 /* 3-level paging */ | |||||
#define MMU_SV48 0x2 /* 4-level paging */ | |||||
#define MMU_SV57 0x4 /* 5-level paging */ | |||||
extern char btext[]; | extern char btext[]; | ||||
extern char etext[]; | extern char etext[]; | ||||
void cpu_halt(void) __dead2; | void cpu_halt(void) __dead2; | ||||
void cpu_reset(void) __dead2; | void cpu_reset(void) __dead2; | ||||
void fork_trampoline(void); | void fork_trampoline(void); | ||||
void identify_cpu(u_int cpu); | void identify_cpu(u_int cpu); | ||||
void printcpuinfo(u_int cpu); | void printcpuinfo(u_int cpu); | ||||
Show All 11 Lines |