Copyright Digital Equipment Corp. All rights reserved.
Maps to the ptc.e instruction. Syntax: void __ptce (__int64 va);