Lines Matching refs:is_32bit_domain
443 BUG_ON( !is_32bit_domain(current->domain) ); in inject_undef32_exception()
471 BUG_ON( !is_32bit_domain(current->domain) ); in inject_abt32_exception()
559 BUG_ON( is_32bit_domain(current->domain) ); in inject_undef64_exception()
592 BUG_ON( is_32bit_domain(current->domain) ); in inject_abt64_exception()
625 if ( is_32bit_domain(current->domain) ) in inject_undef_exception()
637 if ( is_32bit_domain(current->domain) ) in inject_iabt_exception()
649 if ( is_32bit_domain(current->domain) ) in inject_dabt_exception()
938 if ( is_32bit_domain(v->domain) ) in _show_registers()
998 if ( guest_mode(regs) && is_32bit_domain(current->domain) ) in show_registers()
1365 !is_32bit_domain(current->domain) ? in do_deprecated_hypercall()
1560 if ( is_32bit_domain(current->domain) && in arch_do_multicall_call()