blob: fbe8265ea3c49e0df1eeb59462d77cd1f652a707 [file] [log] [blame] [edit]
/* SPDX-License-Identifier: GPL-2.0-only */
/*
* Copyright (C) 2020 ARM Ltd.
*/
#ifndef __VDSO_PROCESSOR_H
#define __VDSO_PROCESSOR_H
#ifndef __ASSEMBLY__
#include <asm/vdso/processor.h>
#endif /* __ASSEMBLY__ */
#endif /* __VDSO_PROCESSOR_H */