--- Xen Test Framework ---
Environment: HVM 32bit (No paging)
Invlpg tests
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 result: SUCCESS