Searched refs:psr_mode_is_32bit (Results 1 – 2 of 2) sorted by relevance
943 if ( psr_mode_is_32bit(regs->cpsr) ) in _show_registers()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()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()[all …]
14 #define psr_mode_is_32bit(psr) !!((psr) & PSR_MODE_BIT) macro
Completed in 6 milliseconds