Copyright Digital Equipment Corp. All rights reserved.

__ptce

 Maps to the ptc.e instruction.

 Syntax:

      void __ptce (__int64 va);