#include <sys/spin_lock.h>

void spin_lock_relax(void) {
  __asm__ volatile("pause");
}