Searched refs:obs_pc (Results 1 – 1 of 1) sorted by relevance
106 uint64_t obs_pc, obs_x0; in assert_vcpu_reset() local108 get_reg(vm, vcpuid, ARM64_CORE_REG(regs.pc), &obs_pc); in assert_vcpu_reset()111 TEST_ASSERT(obs_pc == CPU_ON_ENTRY_ADDR, in assert_vcpu_reset()113 obs_pc, CPU_ON_ENTRY_ADDR); in assert_vcpu_reset()