Maps to the ptc.e instruction.

  Syntax:

       void __ptce (__int64 va);