--- Xen Test Framework ---
Environment: HVM 64bit (Long mode 4 levels)
Invlpg tests
Testing 'invlpg 0x1000' with segment bases
  Test: No segment
    TLB refill of 0x1000
  Test: %fs (base 0x0)
    TLB refill of 0x1000
  Test: %fs (base 0x0, limit 0x1)
    TLB refill of 0x1000
  Test: %fs (base 0x1000)
    TLB refill of 0x2000
  Test: %fs (base 0x1000, limit 0x1001)
    TLB refill of 0x2000
Testing 'invlpg' in normally-faulting conditions
  Test: Mapped address
  Test: Unmapped address
  Test: NULL segment override
  Test: Past segment limit
  Test: Before expand-down segment limit
  Test: Noncanonical address
  Test: Noncanonical including segment base
Test result: SUCCESS