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