Searched refs:kpcb (Results 1 – 6 of 6) sorted by relevance
338 void *kpcb = processor->active_thread->machine.kpcb; in kern_collectth_state() local339 if (kpcb != NULL) { in kern_collectth_state()340 arm_saved_state_t *saved_state = (arm_saved_state_t *)kpcb; in kern_collectth_state()
565 struct arm_saved_state *state = thread->machine.kpcb; in machine_trace_thread64()
105 arm_saved_state_t * kpcb; /* pointer to kernel GPR state */ member
1114 current_thread()->machine.kpcb = regs; in DebuggerXCall()1172 current_thread()->machine.kpcb = NULL; in DebuggerXCall()
889 current_thread()->machine.kpcb = state; in handle_uncategorized()897 current_thread()->machine.kpcb = NULL; in handle_uncategorized()
219 thread->machine.kpcb = NULL; in machine_thread_create()