3#ifdef UACPI_OVERRIDE_ARCH_HELPERS
4#include "uacpi_arch_helpers.h"
9#ifndef UACPI_ARCH_FLUSH_CPU_CACHE
10#define UACPI_ARCH_FLUSH_CPU_CACHE() do {} while (0)
23#ifndef UACPI_ATOMIC_LOAD_THREAD_ID
24#define UACPI_ATOMIC_LOAD_THREAD_ID(ptr) ((uacpi_thread_id)uacpi_atomic_load_ptr(ptr))
27#ifndef UACPI_ATOMIC_STORE_THREAD_ID
28#define UACPI_ATOMIC_STORE_THREAD_ID(ptr, value) uacpi_atomic_store_ptr(ptr, value)
35#ifndef UACPI_THREAD_ID_NONE
36#define UACPI_THREAD_ID_NONE ((uacpi_thread_id)-1)
unsigned long uacpi_cpu_flags
unsigned long uacpi_interrupt_state