APDBKEYLO_EL1
DEFINE(CPU_APDBKEYLO_EL1, offsetof(struct kvm_cpu_context, sys_regs[APDBKEYLO_EL1]));
hyp_ctxt->sys_regs[APDBKEYLO_EL1] = get_random_long();