|
@@ -570,16 +570,12 @@ static void gic_cpu_sys_reg_init(void)
|
|
|
switch(val + 1) {
|
|
|
case 8:
|
|
|
case 7:
|
|
|
- write_gicreg(0, ICC_AP0R3_EL1);
|
|
|
write_gicreg(0, ICC_AP1R3_EL1);
|
|
|
- write_gicreg(0, ICC_AP0R2_EL1);
|
|
|
write_gicreg(0, ICC_AP1R2_EL1);
|
|
|
case 6:
|
|
|
- write_gicreg(0, ICC_AP0R1_EL1);
|
|
|
write_gicreg(0, ICC_AP1R1_EL1);
|
|
|
case 5:
|
|
|
case 4:
|
|
|
- write_gicreg(0, ICC_AP0R0_EL1);
|
|
|
write_gicreg(0, ICC_AP1R0_EL1);
|
|
|
}
|
|
|
|