Home
last modified time | relevance | path

Searched refs:ich_elrsr_el2 (Results 1 – 3 of 3) sorted by relevance

/freebsd-src/sys/arm64/vmm/io/
H A Dvgic_v3.h38 uint32_t ich_elrsr_el2; /* Empty List register Status Register (ICH_ELRSR_EL2) */ member
H A Dvgic_v3.c2130 hypctx->vgic_v3_regs.ich_elrsr_el2 = in vgic_v3_flush_hwstate()
/freebsd-src/sys/arm64/vmm/
H A Dvmm_hyp.c62 hypctx->vgic_v3_regs.ich_elrsr_el2 = in vmm_hyp_reg_store()
63 READ_SPECIALREG(ich_elrsr_el2); in vmm_hyp_reg_store()