__kvm_vector_slot2addr
hyp_spectre_vector_selector[slot] = __kvm_vector_slot2addr(base, slot);
vector = __kvm_vector_slot2addr(vector, slot);