Symbol: test_xval_check_no_irq