Lines Matching refs:guest_mode
237 BUG_ON( !guest_mode(regs) ); in select_user_reg()
791 int guest_mode, in show_registers_32() argument
800 if ( !guest_mode ) in show_registers_32()
819 if ( guest_mode ) in show_registers_32()
844 if ( guest_mode ) in show_registers_32()
868 int guest_mode, in show_registers_64() argument
875 if ( !guest_mode ) in show_registers_64()
879 if ( guest_mode ) in show_registers_64()
912 if ( guest_mode ) in show_registers_64()
929 int guest_mode, in _show_registers() argument
936 if ( guest_mode ) in _show_registers()
939 show_registers_32(regs, ctxt, guest_mode, v); in _show_registers()
946 show_registers_32(regs, ctxt, guest_mode, v); in _show_registers()
950 show_registers_64(regs, ctxt, guest_mode, v); in _show_registers()
958 show_registers_64(regs, ctxt, guest_mode, v); in _show_registers()
960 show_registers_32(regs, ctxt, guest_mode, v); in _show_registers()
998 if ( guest_mode(regs) && is_32bit_domain(current->domain) ) in show_registers()
1003 _show_registers(regs, &ctxt, guest_mode(regs), current); in show_registers()
1203 if ( guest_mode(regs) ) in show_stack()
2087 if ( guest_mode(regs) ) in enter_hypervisor_head()