Status: | OK |
---|---|
Date/Time: | Jul 25 2017, 02:37 |
Duration: | 0:00:49.412531 |
Builder: | ka2 |
Revision: | powerpc/mm: Make switch_mm_irqs_off() out of line (b15e4e7b6b1feeaca29ca6d2ca30d11f814bcefd)
|
Target: | mpe/wii_defconfig/powerpc-gcc5 |
Branch: | mpe |
Compiler: | powerpc-gcc5 (powerpc64-linux-gcc (GCC) 5.3.0) |
Config: | wii_defconfig (download) |