Searched refs:obs_x0 (Results 1 – 1 of 1) sorted by relevance
103 uint64_t obs_pc, obs_x0; in assert_vcpu_reset() local106 vcpu_get_reg(vcpu, ARM64_CORE_REG(regs.regs[0]), &obs_x0); in assert_vcpu_reset()111 TEST_ASSERT(obs_x0 == CPU_ON_CONTEXT_ID, in assert_vcpu_reset()113 obs_x0, CPU_ON_CONTEXT_ID); in assert_vcpu_reset()