--- Xen Test Framework ---
Environment: HVM 64bit (Long mode 4 levels)
XSA-196 PoC
Success: #DF DPL was checked correctly
Test result: SUCCESS