|
XenevaOS
|
#include <stdint.h>

Go to the source code of this file.
Functions | |
| uint64_t | _getCurrentEL () |
| uint64_t | read_ttbr0_el1 () |
| void | write_ttbr0_el1 (uint64_t *base) |
| uint64_t | read_ttbr1_el1 () |
| void | write_ttbr1_el1 (uint64_t *base) |
| uint64_t | read_ttbr1_el2 () |
| uint64_t | read_ttbr0_el2 () |
| uint64_t | read_tcr_el1 () |
| uint64_t | read_tcr_el2 () |
| void | write_tcr_el1 (uint64_t tcr) |
| uint64_t | read_mair_el1 () |
| void | write_mair_el1 (uint64_t mair) |
| uint64_t | read_sctlr_el1 () |
| void | write_sctlr_el1 (uint64_t sctlr) |
| uint64_t | read_spsr_el2 () |
| void | write_spsr_el2 (uint64_t spsr) |
| void | dsb_ish () |
| void | isb_flush () |
| void | tlb_flush (uint64_t virtul_addr) |
| uint64_t | read_esr_el1 () |
| uint64_t | read_far_el1 () |
| uint64_t | read_elr_el1 () |
| void | write_vbar_el1 (uint64_t vecbase) |
| void | dc_cvau (uint64_t a) |
| void | ic_ivau (uint64_t a) |
| void | callKernel (void *param, uint64_t stack, uint64_t stacksize, void *entry) |
| uint64_t _getCurrentEL | ( | ) |
BSD 2-Clause License
Copyright (c) 2023-2025, Manas Kamal Choudhury All rights reserved.
Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
| void dc_cvau | ( | uint64_t | a | ) |
| void dsb_ish | ( | ) |
| void ic_ivau | ( | uint64_t | a | ) |
| void isb_flush | ( | ) |
| uint64_t read_elr_el1 | ( | ) |
| uint64_t read_esr_el1 | ( | ) |
| uint64_t read_far_el1 | ( | ) |
| uint64_t read_mair_el1 | ( | ) |
| uint64_t read_sctlr_el1 | ( | ) |
| uint64_t read_spsr_el2 | ( | ) |
| uint64_t read_tcr_el1 | ( | ) |
| uint64_t read_tcr_el2 | ( | ) |
| uint64_t read_ttbr0_el1 | ( | ) |
| uint64_t read_ttbr0_el2 | ( | ) |
| uint64_t read_ttbr1_el1 | ( | ) |
| uint64_t read_ttbr1_el2 | ( | ) |
| void tlb_flush | ( | uint64_t | virtul_addr | ) |
| void write_mair_el1 | ( | uint64_t | mair | ) |
| void write_sctlr_el1 | ( | uint64_t | sctlr | ) |
| void write_spsr_el2 | ( | uint64_t | spsr | ) |
| void write_tcr_el1 | ( | uint64_t | tcr | ) |
| void write_ttbr0_el1 | ( | uint64_t * | base | ) |
| void write_ttbr1_el1 | ( | uint64_t * | base | ) |
| void write_vbar_el1 | ( | uint64_t | vecbase | ) |