--- Xen Test Framework ---
Environment: HVM 64bit (Long mode 4 levels)
LBR/TSX VMentry failure test
Latched a Last Branch Record in the upper canonical half
Success: No LBR/TSX VMentry failure in this configuration
Test result: SUCCESS