Searched refs:ccpu (Results 1 – 2 of 2) sorted by relevance
240 PowerPCCPU *ccpu = POWERPC_CPU(ccs); in helper_load_dpdes() local241 CPUPPCState *cenv = &ccpu->env; in helper_load_dpdes()242 uint32_t thread_id = ppc_cpu_tir(ccpu); in helper_load_dpdes()280 PowerPCCPU *ccpu = POWERPC_CPU(ccs); in helper_store_dpdes() local281 uint32_t thread_id = ppc_cpu_tir(ccpu); in helper_store_dpdes()
3041 PowerPCCPU *ccpu = POWERPC_CPU(ccs); in helper_book3s_msgsndp() local3042 uint32_t thread_id = ppc_cpu_tir(ccpu); in helper_book3s_msgsndp()3045 ppc_set_irq(ccpu, PPC_INTERRUPT_DOORBELL, 1); in helper_book3s_msgsndp()