hw_ibrs_recalculate
hw_ibrs_recalculate(true);
hw_ibrs_recalculate(false);
void hw_ibrs_recalculate(bool all_cpus);