spectre_print_disabled_mitigations
void spectre_print_disabled_mitigations(void);
spectre_print_disabled_mitigations();