[35] | 1 | /* |
---|
| 2 | * hal_internal.h - x86-specific function definitions |
---|
[145] | 3 | * |
---|
[35] | 4 | * Copyright (c) 2017 Maxime Villard |
---|
[145] | 5 | * |
---|
[35] | 6 | * This file is part of ALMOS-MKH. |
---|
| 7 | * |
---|
| 8 | * ALMOS-MKH is free software; you can redistribute it and/or modify it |
---|
| 9 | * under the terms of the GNU General Public License as published by |
---|
| 10 | * the Free Software Foundation; version 2.0 of the License. |
---|
| 11 | * |
---|
| 12 | * ALMOS-MKH is distributed in the hope that it will be useful, but |
---|
| 13 | * WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
| 14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
---|
| 15 | * General Public License for more details. |
---|
| 16 | * |
---|
| 17 | * You should have received a copy of the GNU General Public License |
---|
[166] | 18 | * along with ALMOS-MKH; if not, write to the Free Software Foundation, |
---|
[35] | 19 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
---|
| 20 | */ |
---|
| 21 | |
---|
[81] | 22 | #include <memcpy.h> |
---|
| 23 | |
---|
[46] | 24 | #define offsetof(type, member) __builtin_offsetof(type, member) |
---|
[39] | 25 | #define roundup(x, y) ((((x)+((y)-1))/(y))*(y)) |
---|
| 26 | #define rounddown(x,y) (((x)/(y))*(y)) |
---|
| 27 | |
---|
| 28 | #define XASSERT(a) \ |
---|
| 29 | if (!(a)) { \ |
---|
| 30 | x86_panic((char *)__func__); \ |
---|
| 31 | } |
---|
| 32 | |
---|
[203] | 33 | /* hal_init.c */ |
---|
[235] | 34 | void cpu_activate(uint32_t gid); |
---|
[203] | 35 | int idt_slot_alloc(); |
---|
| 36 | void idt_slot_free(int slot); |
---|
| 37 | |
---|
[35] | 38 | /* hal_cpu.S */ |
---|
| 39 | void invlpg(vaddr_t va); |
---|
[78] | 40 | void sti(); |
---|
| 41 | void cli(); |
---|
[94] | 42 | uint64_t rdtsc(); |
---|
[91] | 43 | uint8_t in8(uint32_t port); |
---|
[195] | 44 | uint16_t in16(uint32_t port); |
---|
[82] | 45 | void out8(uint32_t port, uint8_t val); |
---|
[195] | 46 | void out16(uint32_t port, uint16_t val); |
---|
[46] | 47 | uint64_t rdmsr(uint32_t); |
---|
| 48 | void wrmsr(uint32_t, uint64_t); |
---|
[125] | 49 | void mfence(); |
---|
[236] | 50 | uint64_t rcr0(void); |
---|
| 51 | vaddr_t rcr2(void); |
---|
| 52 | uint64_t rcr3(void); |
---|
[368] | 53 | void lcr3(uint64_t); |
---|
[166] | 54 | uint64_t rcr4(void); |
---|
| 55 | void lcr4(uint64_t); |
---|
| 56 | void cpuid(uint32_t eax, uint32_t ecx, uint32_t *desc); |
---|
| 57 | void tlbflushg(); |
---|
| 58 | void tlbflush(); |
---|
[309] | 59 | void clts(); |
---|
| 60 | void stts(); |
---|
[235] | 61 | void pause(); |
---|
| 62 | void wbinvd(); |
---|
[35] | 63 | |
---|
[339] | 64 | void cpu_context_switch(void *oldctx, void *newctx); |
---|
| 65 | |
---|
[94] | 66 | uint32_t atomic_cas_32(volatile uint32_t *ptr, uint32_t exp, uint32_t new); |
---|
[96] | 67 | uint32_t atomic_add_32(volatile uint32_t *ptr, int32_t incr); |
---|
[98] | 68 | uint32_t atomic_and_32(volatile uint32_t *ptr, uint32_t mask); |
---|
| 69 | uint32_t atomic_or_32(volatile uint32_t *ptr, uint32_t mask); |
---|
[94] | 70 | |
---|
[35] | 71 | /* hal_gpt.c */ |
---|
| 72 | paddr_t hal_gpt_bootstrap_palloc(size_t npages); |
---|
| 73 | vaddr_t hal_gpt_bootstrap_valloc(size_t npages); |
---|
[45] | 74 | void hal_gpt_bootstrap_reset(); |
---|
[116] | 75 | size_t hal_gpt_bootstrap_uniformize(); |
---|
| 76 | |
---|
[83] | 77 | void hal_gpt_enter(vaddr_t va, paddr_t pa, pt_entry_t flags); |
---|
[39] | 78 | void hal_gpt_enter_range(vaddr_t va, paddr_t pa, size_t n); |
---|
[45] | 79 | void hal_gpt_leave(vaddr_t va); |
---|
| 80 | void hal_gpt_leave_range(vaddr_t va, size_t n); |
---|
[290] | 81 | void hal_gpt_maptree_area(vaddr_t va_start, vaddr_t va_end); |
---|
[35] | 82 | void hal_gpt_init(paddr_t firstpa); |
---|
| 83 | |
---|
[46] | 84 | /* hal_special.c */ |
---|
| 85 | |
---|
[35] | 86 | /* x86_printf.c */ |
---|
[242] | 87 | void x86_lock(); |
---|
| 88 | void x86_unlock(); |
---|
| 89 | |
---|
[39] | 90 | void x86_panic(char *msg); |
---|
[94] | 91 | void x86_putc(char c); |
---|
[35] | 92 | void x86_printf(char *s, ...); |
---|
| 93 | |
---|