Symbol: test_tpr_check_tpr_cr8_equal