in D3DDred-WinDbg/D3DDred.js [256:259]
get PageFaultVA() { return this.PageFaultOutput.PageFaultVA; }