AArch64 EL2 hypervisor for QEMU virt that boots at EL2
8

Configure Feed

Select the types of activity you want to include in your feed.

ariel / core / selftest.c
1.7 kB 44 lines
1#include "hv/allocator.h" 2#include "hv/arch.h" 3#include "hv/config.h" 4#include "hv/el2_mmu.h" 5#include "hv/log.h" 6#include "hv/panic.h" 7#include "hv/policy.h" 8#include "hv/selftest.h" 9#include "hv/stage2.h" 10#include "hv/sysreg.h" 11#include "hv/vcpu.h" 12 13static void require(bool ok, const char *name) 14{ 15 if (!ok) { 16 panic(name); 17 } 18 log_simple(LOG_SELFTEST, 0u, (uint64_t)(uintptr_t)name, 0u); 19} 20 21void selftests_run_or_panic(void) 22{ 23 require(hv_is_aligned_u64((uint64_t)(uintptr_t)__vectors_el2, 2048u), "selftest vectors alignment"); 24 require(stage2_selftest(), "selftest stage2 descriptors"); 25 require(el2_mmu_selftest(), "selftest el2 mmu plan"); 26 require(CONFIG_GUEST_RAM_SIZE != 0u && hv_is_aligned_u64(CONFIG_GUEST_RAM_BASE, CONFIG_PAGE_SIZE), 27 "selftest guest memory bounds"); 28 require(policy_selftest(), "selftest policy table"); 29 require(sysreg_selftest(), "selftest sysreg decoder"); 30 require(vcpu_frame_selftest(), "selftest vcpu frame serialisation"); 31 require(log_selftest(), "selftest log wraparound"); 32 require(allocator_selftest(), "selftest allocator"); 33 34 uint64_t hcr; 35 uint64_t sctlr; 36 uint64_t vttbr; 37 __asm__ volatile("mrs %0, hcr_el2" : "=r"(hcr)); 38 __asm__ volatile("mrs %0, sctlr_el2" : "=r"(sctlr)); 39 __asm__ volatile("mrs %0, vttbr_el2" : "=r"(vttbr)); 40 require((hcr & HV_BIT(0)) != 0u && (hcr & HV_BIT(31)) != 0u, "selftest hcr trap sanity"); 41 require((sctlr & (HV_BIT(0) | HV_BIT(2) | HV_BIT(12))) == 42 (HV_BIT(0) | HV_BIT(2) | HV_BIT(12)), "selftest sctlr el2 mmu enabled"); 43 require((vttbr & 0x0000fffffffff000ull) == stage2_vttbr(), "selftest vttbr root"); 44}