Searched defs:kpcb (Results 1 – 2 of 2) sorted by relevance
346 void *kpcb = processor->active_thread->machine.kpcb; in kern_collectth_state() local
120 arm_saved_state_t * kpcb; /* pointer to kernel GPR state */ member