| Status: | OK |
|---|---|
| Date/Time: | Nov 28 2018, 17:27 |
| Duration: | 0:01:42.854760 |
| Builder: | ka3 |
| Revision: | powerpc/smp: __smp_send_nmi_ipi static (33a2c1eccd27b120f4bdeaad335d0236824f7854)
|
| Target: | powerpc-next/ppc40x_defconfig/powerpc-gcc8 |
| Branch: | powerpc-next |
| Compiler: | powerpc-gcc8 (powerpc64-linux-gcc (GCC) 8.1.0) |
| Config: | ppc40x_defconfig (download) |