()
| 31 | u.msr(ctl, 0) |
| 32 | |
| 33 | def test_hv_timers(): |
| 34 | u.msr(DAIF, 0x3c0) |
| 35 | print("Testing HV timers...") |
| 36 | print(" TGE = 1") |
| 37 | |
| 38 | u.msr(HCR_EL2, u.mrs(HCR_EL2) | TGE | (1 << 3) | (1 << 4)) |
| 39 | |
| 40 | print(" P:") |
| 41 | run_test(CNTP_CTL_EL0, CNTP_TVAL_EL0) |
| 42 | print(" V:") |
| 43 | run_test(CNTV_CTL_EL0, CNTV_TVAL_EL0) |
| 44 | |
| 45 | def test_guest_timers(): |
| 46 | u.msr(DAIF, 0) |
no test coverage detected