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