sys/arm64/vmm/io/vgic_v3.c

2148

hypctx_write_sys_reg(hypctx, HOST_ICH_LR_EL2(i),

sys/arm64/vmm/io/vgic_v3.c

2154

*hypctx_sys_reg(hypctx, HOST_ICH_LR_EL2(i)) |=

sys/arm64/vmm/io/vgic_v3.c

2161

*hypctx_sys_reg(hypctx, HOST_ICH_LR_EL2(i)) |= ICH_LR_EL2_EOI;

sys/arm64/vmm/io/vgic_v3.c

2165

*hypctx_sys_reg(hypctx, HOST_ICH_LR_EL2(i)) |=

sys/arm64/vmm/io/vgic_v3.c

2207

lr = hypctx_read_sys_reg(hypctx, HOST_ICH_LR_EL2(i));

sys/arm64/vmm/io/vgic_v3.c

2208

hypctx_write_sys_reg(hypctx, HOST_ICH_LR_EL2(i), 0);

sys/arm64/vmm/io/vgic_v3.c

531

hypctx_write_sys_reg(hypctx, HOST_ICH_LR_EL2(i), 0UL);

sys/arm64/vmm/vmm_hyp.c

196

hypctx_write_sys_reg(hypctx, HOST_ICH_LR_EL2(x), \

sys/arm64/vmm/vmm_hyp.c

648

hypctx_read_sys_reg(hypctx, HOST_ICH_LR_EL2(x)))