DEBUG_PAGE_FAULT_WRITE
isWrite ? DEBUG_PAGE_FAULT_WRITE : 0);
isWrite ? DEBUG_PAGE_FAULT_WRITE : 0);
write ? DEBUG_PAGE_FAULT_WRITE : 0);
? DEBUG_PAGE_FAULT_WRITE : 0);
? DEBUG_PAGE_FAULT_WRITE : 0);
(frame->error_code & 0x2) != 0 ? DEBUG_PAGE_FAULT_WRITE : 0);
? DEBUG_PAGE_FAULT_WRITE : 0);
? DEBUG_PAGE_FAULT_WRITE : 0);