BP_HARDEN_EL2_SLOTS
#define __BP_HARDEN_HYP_VECS_SZ ((BP_HARDEN_EL2_SLOTS - 1) * SZ_2K)
static void *hyp_spectre_vector_selector[BP_HARDEN_EL2_SLOTS];