/* SPDX-License-Identifier: BSD-3-Clause */
/* This file is part of the coreboot project. */

#ifndef ARCH_CACHE_H
#define ARCH_CACHE_H

/* TODO: implement these API stubs once caching is available on Power 8 */
static inline void dcache_clean_all(void) {}
static inline void dcache_invalidate_all(void) {}
static inline void dcache_clean_invalidate_all(void) {}

#endif /* ARCH_CACHE_H */