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