Lines Matching refs:psr_mode_is_32bit
943 if ( psr_mode_is_32bit(regs->cpsr) ) in _show_registers()
1639 BUG_ON( !psr_mode_is_32bit(regs->cpsr) || !(cpsr&PSR_THUMB) ); in check_conditional_instr()
1666 BUG_ON( (!psr_mode_is_32bit(cpsr)||!(cpsr&PSR_THUMB)) in advance_pc()
2133 GUEST_BUG_ON(!psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2138 GUEST_BUG_ON(!psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2143 GUEST_BUG_ON(!psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2148 GUEST_BUG_ON(!psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2153 GUEST_BUG_ON(!psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2158 GUEST_BUG_ON(!psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2169 GUEST_BUG_ON(!psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2174 GUEST_BUG_ON(!psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2186 GUEST_BUG_ON(psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2202 GUEST_BUG_ON(psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()
2207 GUEST_BUG_ON(psr_mode_is_32bit(regs->cpsr)); in do_trap_guest_sync()