15 lines · c
1/* SPDX-License-Identifier: GPL-2.0-only */2/*3 * Copyright (C) 2020 ARM Ltd.4 */5#ifndef __VDSO_PROCESSOR_H6#define __VDSO_PROCESSOR_H7 8#ifndef __ASSEMBLY__9 10#include <asm/vdso/processor.h>11 12#endif /* __ASSEMBLY__ */13 14#endif /* __VDSO_PROCESSOR_H */15