*/
#define REGOFFS(R) offsetof(struct cpu_user_regs, R)
- switch ( reg ) {
+ switch ( reg )
+ {
case 0 ... 7: /* Unbanked registers */
BUILD_BUG_ON(REGOFFS(r0) + 7*sizeof(register_t) != REGOFFS(r7));
return ®s->r0 + reg;
{
uint32_t sctlr = READ_SYSREG32(SCTLR_EL1);
- if (sctlr & SCTLR_V)
+ if ( sctlr & SCTLR_V )
return 0xffff0000 + offset;
else /* always have security exceptions */
return READ_SYSREG(VBAR_EL1) + offset;
*/
BUG_ON(!hyp_mode(regs));
- switch (hsr.brk.comment)
+ switch ( hsr.brk.comment )
{
case BRK_BUG_FRAME_IMM:
if ( do_bug_frame(regs, regs->pc) )
{
uint32_t reg;
uint32_t domid = current->domain->domain_id;
- switch ( code ) {
+
+ switch ( code )
+ {
case 0xe0 ... 0xef:
reg = code - 0xe0;
printk("DOM%d: R%d = 0x%"PRIregister" at 0x%"PRIvaddr"\n",
offset, mfn_to_maddr(mfn), second[offset]);
done:
- if (second) unmap_domain_page(second);
- if (first) unmap_domain_page(first);
+ if ( second ) unmap_domain_page(second);
+ if ( first ) unmap_domain_page(first);
}
/*
enter_hypervisor_head(regs);
- switch (hsr.ec) {
+ switch ( hsr.ec )
+ {
case HSR_EC_WFI_WFE:
/*
* HCR_EL2.TWI, HCR_EL2.TWE
while (1)
{
local_irq_disable();
- if (!softirq_pending(smp_processor_id())) {
+ if ( !softirq_pending(smp_processor_id()) )
+ {
vgic_sync_to_lrs();
/*