vcpu_cpsr
return !!(*vcpu_cpsr(vcpu) & PSR_MODE32_BIT);
*vcpu_cpsr(vcpu) |= PSR_AA32_T_BIT;
mode = *vcpu_cpsr(vcpu) & PSR_AA32_MODE_MASK;
mode = *vcpu_cpsr(vcpu) & PSR_MODE_MASK;
*vcpu_cpsr(vcpu) |= PSR_AA32_E_BIT;
return !!(*vcpu_cpsr(vcpu) & PSR_AA32_E_BIT);
(*vcpu_cpsr(vcpu) & PSR_PAN_BIT);
write_sysreg_s(*vcpu_cpsr(vcpu) & PSTATE_PAN, SYS_PSTATE_PAN);
if (*vcpu_cpsr(vcpu) & DBG_SPSR_SS)
*vcpu_cpsr(vcpu) |= DBG_SPSR_SS;
*vcpu_cpsr(vcpu) &= ~DBG_SPSR_SS;
if (!(*vcpu_cpsr(vcpu) & DBG_SPSR_SS))
*vcpu_cpsr(vcpu) &= ~DBG_SPSR_SS;
*vcpu_cpsr(vcpu) |= DBG_SPSR_SS;
spsr = *vcpu_cpsr(vcpu);
*vcpu_cpsr(vcpu) = spsr;
pstate = *vcpu_cpsr(vcpu);
if (*vcpu_cpsr(vcpu) & PSR_MODE32_BIT) {
switch (*vcpu_cpsr(vcpu) & PSR_AA32_MODE_MASK) {
*vcpu_cpsr(vcpu) |= DBG_SPSR_SS;
unsigned long cpsr = *vcpu_cpsr(vcpu);
*vcpu_cpsr(vcpu) = cpsr;
is_thumb = !!(*vcpu_cpsr(vcpu) & PSR_AA32_T_BIT);
cpsr = *vcpu_cpsr(vcpu);
old = *vcpu_cpsr(vcpu);
*vcpu_cpsr(vcpu) = new;
old = *vcpu_cpsr(vcpu);
unsigned long spsr = *vcpu_cpsr(vcpu);
*vcpu_cpsr(vcpu) = get_except32_cpsr(vcpu, mode);
mode = *vcpu_cpsr(vcpu) & (PSR_MODE_MASK | PSR_MODE32_BIT);
*vcpu_cpsr(vcpu) &= ~PSR_BTYPE_MASK;
*vcpu_cpsr(vcpu) &= ~DBG_SPSR_SS;
*vcpu_cpsr(vcpu) &= ~DBG_SPSR_SS;
write_sysreg_el2(*vcpu_cpsr(vcpu), SYS_SPSR);
*vcpu_cpsr(vcpu) & DBG_SPSR_SS &&
write_sysreg_el2(*vcpu_cpsr(vcpu), SYS_SPSR);
*vcpu_cpsr(vcpu) = read_sysreg_el2(SYS_SPSR);
write_sysreg_el2(*vcpu_cpsr(vcpu), SYS_SPSR);
u64 mode = *vcpu_cpsr(vcpu) & (PSR_MODE_MASK | PSR_MODE32_BIT);
*vcpu_cpsr(vcpu) &= ~(PSR_MODE_MASK | PSR_MODE32_BIT);
*vcpu_cpsr(vcpu) |= mode;
unsigned long cpsr = *vcpu_cpsr(vcpu);
return (*vcpu_cpsr(vcpu) & PSR_A_BIT) &&
switch(*vcpu_cpsr(vcpu) & PSR_MODE_MASK) {
return (*vcpu_cpsr(vcpu) & PSR_A_BIT) && !effective_sctlr2_nmea(vcpu);
return *vcpu_cpsr(vcpu) & PSR_A_BIT;
cp, *vcpu_pc(vcpu), *vcpu_cpsr(vcpu));
*vcpu_pc(vcpu), *vcpu_cpsr(vcpu));
__entry->spsr_el2 = *vcpu_cpsr(vcpu);
__entry->source_mode = *vcpu_cpsr(vcpu) & (PSR_MODE_MASK | PSR_MODE32_BIT);