#pragma once
#include <sys/types.h>
enum boot_type { BOOT_TYPE_HARNESS_DUMMY = 0 };
void arch_clean_invalidate_cache_range(addr_t start, size_t len);
int atomic_add(volatile int *ptr, int val);