CASE guest [STARTED]
vcpu_resume [RUNNING] [PASSED] (17 ms)
vcpu_read_write_state [RUNNING] [PASSED] (6 ms)
vcpu_interrupt [RUNNING] [PASSED] (5 ms)
guest_set_trap_with_mem [RUNNING] [PASSED] (6 ms)
guest_set_trap_with_bell [RUNNING] [PASSED] (6 ms)
vcpu_wfi [RUNNING] [PASSED] (5 ms)
vcpu_wfi_pending_interrupt [RUNNING] [PASSED] (8 ms)
vcpu_wfi_aarch32 [RUNNING] [PASSED] (4 ms)
vcpu_fp [RUNNING] [PASSED] (5 ms)
vcpu_fp_aarch32 [RUNNING] [PASSED] (5 ms)
CASE guest [PASSED]
====================================================
Results for test binary "/boot/test/sys/hypervisor-test":
SUCCESS! All test cases passed!
CASES: 1 SUCCESS: 1 FAILED: 0
====================================================