| 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) |