Symbol: wpi_fatal_intr