Symbol: PMOVSSET_EL0
sys/arm64/vmm/vmm_hyp.c
122
hypctx_write_sys_reg(hypctx, PMOVSSET_EL0,
sys/arm64/vmm/vmm_hyp.c
481
hypctx_read_sys_reg(hypctx, PMOVSSET_EL0));