Retrieve mp state info in cpu_synchronize_state()