[2024-10-01 16:28:24] Logfile Opened [2024-10-01 16:28:24] --- Xen Test Framework --- [2024-10-01 16:28:24] Environment: PV 64bit (Long mode 4 levels) [2024-10-01 16:28:24] Test PV FSGSBASE behaviour [2024-10-01 16:28:24] Test result: SUCCESS