Searched refs:kpcb (Results 1 – 6 of 6) sorted by relevance
339 void *kpcb = processor->active_thread->machine.kpcb; in kern_collectth_state() local340 if (kpcb != NULL) { in kern_collectth_state()341 arm_saved_state_t *saved_state = (arm_saved_state_t *)kpcb; in kern_collectth_state()
426 struct arm_saved_state *state = thread->machine.kpcb; in machine_trace_thread64()
113 arm_saved_state_t * kpcb; /* pointer to kernel GPR state */ member
998 statep = target_cpu_datap->cpu_active_thread->machine.kpcb; in DebuggerPatchupThreadState()1338 current_thread()->machine.kpcb = regs; in DebuggerXCall()1410 current_thread()->machine.kpcb = NULL; in DebuggerXCall()
1152 current_thread()->machine.kpcb = state; in handle_uncategorized()1160 current_thread()->machine.kpcb = NULL; in handle_uncategorized()
392 thread->machine.kpcb = NULL; in machine_thread_create()