Searched refs:kpcb (Results 1 – 6 of 6) sorted by relevance
346 void *kpcb = processor->active_thread->machine.kpcb; in kern_collectth_state() local347 if (kpcb != NULL) { in kern_collectth_state()348 arm_saved_state_t *saved_state = (arm_saved_state_t *)kpcb; in kern_collectth_state()
427 struct arm_saved_state *state = thread->machine.kpcb; in machine_trace_thread64()
120 arm_saved_state_t * kpcb; /* pointer to kernel GPR state */ member
1039 statep = target_cpu_datap->cpu_active_thread->machine.kpcb; in DebuggerPatchupThreadState()1380 current_thread()->machine.kpcb = regs; in DebuggerXCall()1455 current_thread()->machine.kpcb = NULL; in DebuggerXCall()
1241 current_thread()->machine.kpcb = state; in handle_uncategorized()1249 current_thread()->machine.kpcb = NULL; in handle_uncategorized()
426 thread->machine.kpcb = NULL; in machine_thread_create()