Searched refs:ppc_64 (Results 1 – 2 of 2) sorted by relevance
15 ppc_64=true133 echo $2 | grep -q "ppc_64-" || ppc_64=false144 if $ppc_64 ; then ppc_64_sources ; fi158 echo "ppc_64: $ppc_64"
8 dpdk_conf.set('RTE_ARCH', 'ppc_64')