Lines Matching defs:state
129 * Update the exception state upon an exception.
193 printf("ARM register state: (saved state %p)\n"
323 "Kernel prefetch abort. (faulting address: 0x%08x, saved state 0x%08x)\n"
373 "Kernel data abort. (faulting address: 0x%08x, saved state 0x%08x)\n"
466 printf("Thread has ARM register state:\n"
526 printf("Thread has ARM register state:\n"
622 void sleh_undef(arm_saved_state_t * state)
625 arm_saved_state_t *arm_ctx = (arm_saved_state_t *) state;
645 "Kernel undefined instruction. (saved state 0x%08x)\n"
708 printf("Thread has ARM register state:\n"