Searched refs:obs_pc (Results 1 – 1 of 1) sorted by relevance
103 uint64_t obs_pc, obs_x0; in assert_vcpu_reset() local105 vcpu_get_reg(vcpu, ARM64_CORE_REG(regs.pc), &obs_pc); in assert_vcpu_reset()108 TEST_ASSERT(obs_pc == CPU_ON_ENTRY_ADDR, in assert_vcpu_reset()110 obs_pc, CPU_ON_ENTRY_ADDR); in assert_vcpu_reset()