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()
391 struct arm_saved_state *state = thread->machine.kpcb; in machine_trace_thread64()
109 arm_saved_state_t * kpcb; /* pointer to kernel GPR state */ member
1216 current_thread()->machine.kpcb = regs; in DebuggerXCall()1273 current_thread()->machine.kpcb = NULL; in DebuggerXCall()
932 current_thread()->machine.kpcb = state; in handle_uncategorized()940 current_thread()->machine.kpcb = NULL; in handle_uncategorized()
250 thread->machine.kpcb = NULL; in machine_thread_create()