[UNIKRAFT PATCH 0/2] Introduce ukarch_spinwait()

[Alexander Jung <a.jung@xxxxxxxxxxx>]

This series introduces `ukarch_spinwait` methods across architectures
as a mechanic during busy wait loops.  For x86, it calls the `pause`
instruction which improves the performance of spin-wait loops.

The same method is provided for ARM architectures however this
instruction is not supported and so the method is blank.

Alexander Jung (2):
  arch/x86: Provide ukarch_spinwait pause instruction
  arch/arm: Provide ukarch_spinwait noop for ARM

 arch/arm/arm/include/uk/asm/lcpu.h    | 5 +++++
 arch/arm/arm64/include/uk/asm/lcpu.h  | 5 +++++
 arch/x86/x86_64/include/uk/asm/lcpu.h | 6 ++++++
 3 files changed, 16 insertions(+)

-- 
2.11.0