Use ISB or YIELD in <code>src/vppinfra/smp.h</code>

ISB should be used to stall the processor pipeline. YIELD should be used to hint the processor to switch threads. Confirm with maintainers which one should be used.