278 	WRITE_SPECIALREG(hcr_el2, hypctx->hcr_el2);  in vmm_hyp_reg_restore()
283 			WRITE_SPECIALREG(MRS_REG_ALT_NAME(HCRX_EL2), hypctx->hcrx_el2);  in vmm_hyp_reg_restore()
288 	WRITE_SPECIALREG(sp_el0, hypctx->sp_el0);  in vmm_hyp_reg_restore()
289 	WRITE_SPECIALREG(tpidr_el0, hypctx->tpidr_el0);  in vmm_hyp_reg_restore()
290 	WRITE_SPECIALREG(tpidrro_el0, hypctx->tpidrro_el0);  in vmm_hyp_reg_restore()
291 	WRITE_SPECIALREG(tpidr_el1, hypctx->tpidr_el1);  in vmm_hyp_reg_restore()
293 	WRITE_SPECIALREG(actlr_el1, hypctx->actlr_el1);  in vmm_hyp_reg_restore()
294 	WRITE_SPECIALREG(csselr_el1, hypctx->csselr_el1);  in vmm_hyp_reg_restore()
295 	WRITE_SPECIALREG(mdccint_el1, hypctx->mdccint_el1);  in vmm_hyp_reg_restore()
296 	WRITE_SPECIALREG(mdscr_el1, hypctx->mdscr_el1);  in vmm_hyp_reg_restore()
299 		WRITE_SPECIALREG(EL1_REG(ELR), hypctx->elr_el1);  in vmm_hyp_reg_restore()
300 		WRITE_SPECIALREG(EL1_REG(VBAR), hypctx->vbar_el1);  in vmm_hyp_reg_restore()
302 		WRITE_SPECIALREG(EL1_REG(AFSR0), hypctx->afsr0_el1);  in vmm_hyp_reg_restore()
303 		WRITE_SPECIALREG(EL1_REG(AFSR1), hypctx->afsr1_el1);  in vmm_hyp_reg_restore()
304 		WRITE_SPECIALREG(EL1_REG(AMAIR), hypctx->amair_el1);  in vmm_hyp_reg_restore()
305 		WRITE_SPECIALREG(EL1_REG(CONTEXTIDR), hypctx->contextidr_el1);  in vmm_hyp_reg_restore()
306 		WRITE_SPECIALREG(EL1_REG(CPACR), hypctx->cpacr_el1);  in vmm_hyp_reg_restore()
307 		WRITE_SPECIALREG(EL1_REG(ESR), hypctx->esr_el1);  in vmm_hyp_reg_restore()
308 		WRITE_SPECIALREG(EL1_REG(FAR), hypctx->far_el1);  in vmm_hyp_reg_restore()
309 		WRITE_SPECIALREG(EL1_REG(MAIR), hypctx->mair_el1); //  in vmm_hyp_reg_restore()
311 		WRITE_SPECIALREG(EL1_REG(SCTLR), hypctx->sctlr_el1);  in vmm_hyp_reg_restore()
312 		WRITE_SPECIALREG(EL1_REG(SPSR), hypctx->spsr_el1);  in vmm_hyp_reg_restore()
313 		WRITE_SPECIALREG(EL1_REG(TCR), hypctx->tcr_el1);  in vmm_hyp_reg_restore()
315 		WRITE_SPECIALREG(EL1_REG(TTBR0), hypctx->ttbr0_el1);  in vmm_hyp_reg_restore()
316 		WRITE_SPECIALREG(EL1_REG(TTBR1), hypctx->ttbr1_el1);  in vmm_hyp_reg_restore()
320 		WRITE_SPECIALREG(par_el1, hypctx->par_el1);  in vmm_hyp_reg_restore()
323 	WRITE_SPECIALREG(cptr_el2, hypctx->cptr_el2);  in vmm_hyp_reg_restore()
324 	WRITE_SPECIALREG(vpidr_el2, hypctx->vpidr_el2);  in vmm_hyp_reg_restore()
325 	WRITE_SPECIALREG(vmpidr_el2, hypctx->vmpidr_el2);  in vmm_hyp_reg_restore()
328 	WRITE_SPECIALREG(sp_el1, hypctx->tf.tf_sp);  in vmm_hyp_reg_restore()
329 	WRITE_SPECIALREG(elr_el2, hypctx->tf.tf_elr);  in vmm_hyp_reg_restore()
330 	WRITE_SPECIALREG(spsr_el2, hypctx->tf.tf_spsr);  in vmm_hyp_reg_restore()
333 	WRITE_SPECIALREG(pmcr_el0, hypctx->pmcr_el0);  in vmm_hyp_reg_restore()
334 	WRITE_SPECIALREG(pmccntr_el0, hypctx->pmccntr_el0);  in vmm_hyp_reg_restore()
335 	WRITE_SPECIALREG(pmccfiltr_el0, hypctx->pmccfiltr_el0);  in vmm_hyp_reg_restore()
337 	WRITE_SPECIALREG(pmcntenclr_el0, 0xfffffffful);  in vmm_hyp_reg_restore()
338 	WRITE_SPECIALREG(pmcntenset_el0, hypctx->pmcntenset_el0);  in vmm_hyp_reg_restore()
339 	WRITE_SPECIALREG(pmintenclr_el1, 0xfffffffful);  in vmm_hyp_reg_restore()
340 	WRITE_SPECIALREG(pmintenset_el1, hypctx->pmintenset_el1);  in vmm_hyp_reg_restore()
341 	WRITE_SPECIALREG(pmovsclr_el0, 0xfffffffful);  in vmm_hyp_reg_restore()
342 	WRITE_SPECIALREG(pmovsset_el0, hypctx->pmovsset_el0);  in vmm_hyp_reg_restore()
347 		WRITE_SPECIALREG(pmevcntr ## x ## _el0,			\  in vmm_hyp_reg_restore()
349 		WRITE_SPECIALREG(pmevtyper ## x ## _el0,		\  in vmm_hyp_reg_restore()
391 		WRITE_SPECIALREG(dbgbcr ## x ## _el1,			\  in vmm_hyp_reg_restore()
393 		WRITE_SPECIALREG(dbgbvr ## x ## _el1,			\  in vmm_hyp_reg_restore()
418 		WRITE_SPECIALREG(dbgwcr ## x ## _el1,			\  in vmm_hyp_reg_restore()
420 		WRITE_SPECIALREG(dbgwvr ## x ## _el1,			\  in vmm_hyp_reg_restore()
444 		WRITE_SPECIALREG(EL1_REG(CNTKCTL),  in vmm_hyp_reg_restore()
446 		WRITE_SPECIALREG(EL0_REG(CNTV_CVAL),  in vmm_hyp_reg_restore()
448 		WRITE_SPECIALREG(EL0_REG(CNTV_CTL),  in vmm_hyp_reg_restore()
450 		WRITE_SPECIALREG(cnthctl_el2, hyp->vtimer.cnthctl_el2);  in vmm_hyp_reg_restore()
451 		WRITE_SPECIALREG(cntvoff_el2, hyp->vtimer.cntvoff_el2);  in vmm_hyp_reg_restore()
454 		WRITE_SPECIALREG(ich_hcr_el2, hypctx->vgic_v3_regs.ich_hcr_el2);  in vmm_hyp_reg_restore()
455 		WRITE_SPECIALREG(ich_vmcr_el2,  in vmm_hyp_reg_restore()
460 		WRITE_SPECIALREG(ich_lr ## x ##_el2,	\  in vmm_hyp_reg_restore()
485 		WRITE_SPECIALREG(ich_ap0r ## x ##_el2,		\  in vmm_hyp_reg_restore()
487 		WRITE_SPECIALREG(ich_ap1r ## x ##_el2,		\  in vmm_hyp_reg_restore()
522 	WRITE_SPECIALREG(vttbr_el2, hyp->vttbr_el2);  in vmm_hyp_call_guest()
525 	WRITE_SPECIALREG(mdcr_el2, hypctx->mdcr_el2);  in vmm_hyp_call_guest()
530 	WRITE_SPECIALREG(mdcr_el2, host_hypctx.mdcr_el2);  in vmm_hyp_call_guest()
588 	WRITE_SPECIALREG(ich_hcr_el2, ich_hcr_el2);  in vmm_hyp_call_guest()
589 	WRITE_SPECIALREG(ich_vmcr_el2, ich_vmcr_el2);  in vmm_hyp_call_guest()
591 	WRITE_SPECIALREG(cnthctl_el2, cnthctl_el2);  in vmm_hyp_call_guest()
592 	WRITE_SPECIALREG(cntkctl_el1, cntkctl_el1);  in vmm_hyp_call_guest()
593 	WRITE_SPECIALREG(cntvoff_el2, cntvoff_el2);  in vmm_hyp_call_guest()
653 	WRITE_SPECIALREG(vttbr_el2, vttbr);  in VMM_HYP_FUNC()
658 	WRITE_SPECIALREG(tcr_el2, host_tcr & ~HCR_TGE);  in VMM_HYP_FUNC()
687 	WRITE_SPECIALREG(tcr_el2, host_tcr);  in VMM_HYP_FUNC()
692 	WRITE_SPECIALREG(vttbr_el2, host_vttbr);  in VMM_HYP_FUNC()
708 	WRITE_SPECIALREG(vttbr_el2, vttbr);  in VMM_HYP_FUNC()
716 	WRITE_SPECIALREG(vttbr_el2, host_vttbr);  in VMM_HYP_FUNC()