blob: 74a653befd1cf864a0fbcdaf5d2df000544780f2 [file] [log] [blame]
/*
* Copyright (c) 2016 Jean-Paul Etienne <fractalclone@gmail.com>
*
* SPDX-License-Identifier: Apache-2.0
*/
#ifndef _ASM_INLINE_PUBLIC_H
#define _ASM_INLINE_PUBLIC_H
/*
* The file must not be included directly
* Include arch/cpu.h instead
*/
#if defined(__GNUC__)
#include <arch/riscv32/pulpino/asm_inline_gcc.h>
#else
#error "Supports only GNU C compiler"
#endif
#endif /* _ASM_INLINE_PUBLIC_H */