Searched refs:obs_x0 (Results 1 – 1 of 1) sorted by relevance
111 u64 obs_pc, obs_x0; in assert_vcpu_reset() local114 obs_x0 = vcpu_get_reg(vcpu, ARM64_CORE_REG(regs.regs[0])); in assert_vcpu_reset()119 TEST_ASSERT(obs_x0 == CPU_ON_CONTEXT_ID, in assert_vcpu_reset()121 obs_x0, CPU_ON_CONTEXT_ID); in assert_vcpu_reset()