timer: pause in reset sync
timer: pause in reset sync

In rte_timer_reset_sync(), insert rte_pause() into loop that waits
for rte_timer_reset() to succeed.

Signed-off-by: Robert Sanford <8222414833f2c24db1670abff4ee4b90c033e566@gmail.com>
Acked-by: Olivier Matz <dfcc1510895413197abb4336e39bb0a3906cba71@6wind.com>

tsphillips/dpdk-fork,msune/dpdk,john-mcnamara-intel/dpdk,venkynv/dpdk-mirror,mixja/dpdk,john-mcnamara-intel/dpdk,tsphillips/dpdk-fork,venkynv/dpdk-mirror,john-mcnamara-intel/dpdk,mixja/dpdk,msune/dpdk,venkynv/dpdk-mirror,msune/dpdk,tsphillips/dpdk-fork,john-mcnamara-intel/dpdk,venkynv/dpdk-mirror,tsphillips/dpdk-fork,msune/dpdk,mixja/dpdk,mixja/dpdk