Status: | OK |
---|---|
Date/Time: | Jul 25 2017, 02:32 |
Duration: | 0:01:25.048667 |
Builder: | ka3 |
Revision: | powerpc/mm: Make switch_mm_irqs_off() out of line (b15e4e7b6b1feeaca29ca6d2ca30d11f814bcefd)
|
Target: | mpe/ep8248e_defconfig/powerpc-gcc5 |
Branch: | mpe |
Compiler: | powerpc-gcc5 (powerpc64-linux-gcc (GCC) 5.3.0) |
Config: | ep8248e_defconfig (download) |