APIBKEYLO_EL1
DEFINE(CPU_APIBKEYLO_EL1, offsetof(struct kvm_cpu_context, sys_regs[APIBKEYLO_EL1]));
hyp_ctxt->sys_regs[APIBKEYLO_EL1] = get_random_long();
ikey.lo = __vcpu_sys_reg(vcpu, APIBKEYLO_EL1);