spectre_bhb_patch_wa3
void spectre_bhb_patch_wa3(struct alt_instr *alt,
KVM_NVHE_ALIAS(spectre_bhb_patch_wa3);