Searched refs:obs_pc (Results 1 – 1 of 1) sorted by relevance
111 u64 obs_pc, obs_x0; in assert_vcpu_reset() local113 obs_pc = vcpu_get_reg(vcpu, ARM64_CORE_REG(regs.pc)); in assert_vcpu_reset()116 TEST_ASSERT(obs_pc == CPU_ON_ENTRY_ADDR, in assert_vcpu_reset()118 obs_pc, CPU_ON_ENTRY_ADDR); in assert_vcpu_reset()