/* 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 */