Invalidates ALAT.  Maps to the invala instruction.

  Syntax:

       void __invalat (void);