HOST_FAR_EL2
vme->u.hyp.far_el2 = hypctx_read_sys_reg(hypctx, HOST_FAR_EL2);
vme_ret->u.inst_emul.gpa += hypctx_read_sys_reg(hypctx, HOST_FAR_EL2) &
hypctx_read_sys_reg(hypctx, HOST_FAR_EL2),
hypctx_read_sys_reg(hypctx, HOST_FAR_EL2), false,
hypctx_write_sys_reg(hypctx, HOST_FAR_EL2,
host_far_el2 = hypctx_read_sys_reg(hypctx, HOST_FAR_EL2);