1 /*- 2 * Copyright (c) 2015-2018 Ruslan Bukin <br@bsdpad.com> 3 * All rights reserved. 4 * 5 * Portions of this software were developed by SRI International and the 6 * University of Cambridge Computer Laboratory under DARPA/AFRL contract 7 * FA8750-10-C-0237 ("CTSRD"), as part of the DARPA CRASH research programme. 8 * 9 * Portions of this software were developed by the University of Cambridge 10 * Computer Laboratory as part of the CTSRD Project, with support from the 11 * UK Higher Education Innovation Fund (HEIF). 12 * 13 * Redistribution and use in source and binary forms, with or without 14 * modification, are permitted provided that the following conditions 15 * are met: 16 * 1. Redistributions of source code must retain the above copyright 17 * notice, this list of conditions and the following disclaimer. 18 * 2. Redistributions in binary form must reproduce the above copyright 19 * notice, this list of conditions and the following disclaimer in the 20 * documentation and/or other materials provided with the distribution. 21 * 22 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 23 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 25 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 26 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 27 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 28 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 29 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 30 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 31 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 32 * SUCH DAMAGE. 33 */ 34 35 #ifndef _MACHINE_CPU_H_ 36 #define _MACHINE_CPU_H_ 37 38 #ifndef LOCORE 39 #include <machine/atomic.h> 40 #include <machine/cpufunc.h> 41 #include <machine/frame.h> 42 #endif 43 44 #define TRAPF_PC(tfp) ((tfp)->tf_sepc) 45 #define TRAPF_USERMODE(tfp) (((tfp)->tf_sstatus & SSTATUS_SPP) == 0) 46 47 #define cpu_getstack(td) ((td)->td_frame->tf_sp) 48 #define cpu_setstack(td, sp) ((td)->td_frame->tf_sp = (sp)) 49 #define cpu_spinwait() /* nothing */ 50 #define cpu_lock_delay() DELAY(1) 51 52 /* 53 * Core manufacturer IDs, as reported by the mvendorid CSR. 54 */ 55 #define MVENDORID_UNIMPL 0x0 56 #define MVENDORID_SIFIVE 0x489 57 #define MVENDORID_THEAD 0x5b7 58 #define MVENDORID_SPACEMIT 0x710 59 60 /* 61 * Micro-architecture ID register, marchid. 62 * 63 * IDs for open-source implementations are allocated globally. Commercial IDs 64 * will have the most-significant bit set. 65 */ 66 #define MARCHID_UNIMPL 0x0 67 #define MARCHID_MSB (1ul << (XLEN - 1)) 68 #define MARCHID_OPENSOURCE(v) (v) 69 #define MARCHID_COMMERCIAL(v) (MARCHID_MSB | (v)) 70 #define MARCHID_IS_OPENSOURCE(m) (((m) & MARCHID_MSB) == 0) 71 72 /* 73 * Open-source marchid values. 74 * 75 * https://github.com/riscv/riscv-isa-manual/blob/master/marchid.md 76 */ 77 #define MARCHID_UCB_ROCKET MARCHID_OPENSOURCE(1) 78 #define MARCHID_UCB_BOOM MARCHID_OPENSOURCE(2) 79 #define MARCHID_UCB_SPIKE MARCHID_OPENSOURCE(5) 80 #define MARCHID_UCAM_RVBS MARCHID_OPENSOURCE(10) 81 82 /* SiFive marchid values */ 83 #define MARCHID_SIFIVE_U7 MARCHID_COMMERCIAL(7) 84 #define MARCHID_SIFIVE_P5 MARCHID_COMMERCIAL(8) 85 86 /* SpacemiT marchid values */ 87 #define MARCHID_SPACEMIT_K1 MARCHID_COMMERCIAL(0x58000001) 88 89 /* 90 * MMU virtual-addressing modes. Support for each level implies the previous, 91 * so Sv48-enabled systems MUST support Sv39, etc. 92 */ 93 #define MMU_SV39 0x1 /* 3-level paging */ 94 #define MMU_SV48 0x2 /* 4-level paging */ 95 #define MMU_SV57 0x4 /* 5-level paging */ 96 97 #ifdef _KERNEL 98 #ifndef LOCORE 99 100 extern char btext[]; 101 extern char etext[]; 102 103 void cpu_halt(void) __dead2; 104 void cpu_reset(void) __dead2; 105 void fork_trampoline(void); 106 void identify_cpu(u_int cpu); 107 void printcpuinfo(u_int cpu); 108 109 static __inline uint64_t 110 get_cyclecount(void) 111 { 112 113 return (rdcycle()); 114 } 115 116 #endif /* !LOCORE */ 117 #endif /* _KERNEL */ 118 119 #endif /* !_MACHINE_CPU_H_ */ 120