/* Copyright 2005 Chris Thomasson */

#include "spinlock-ia32.h"




spinlock_ia32_table_mem_t g_spinlock_ia32_table_mem = {{0}};
spinlock_ia32_table_t* g_spinlock_ia32_table = 0;




void spinlock_ia32_libinit(void) {
  if (! g_spinlock_ia32_table) {
    g_spinlock_ia32_table = SPINLOCK_IA32_TABLE_MEMALIGNPTR(g_spinlock_ia32_table_mem);
  }
}