1*d8bb6993SVincenzo Frascino /* SPDX-License-Identifier: GPL-2.0-only */ 2*d8bb6993SVincenzo Frascino /* 3*d8bb6993SVincenzo Frascino * Copyright (C) 2020 ARM Ltd. 4*d8bb6993SVincenzo Frascino */ 5*d8bb6993SVincenzo Frascino #ifndef __VDSO_PROCESSOR_H 6*d8bb6993SVincenzo Frascino #define __VDSO_PROCESSOR_H 7*d8bb6993SVincenzo Frascino 8*d8bb6993SVincenzo Frascino #ifndef __ASSEMBLY__ 9*d8bb6993SVincenzo Frascino 10*d8bb6993SVincenzo Frascino #include <asm/vdso/processor.h> 11*d8bb6993SVincenzo Frascino 12*d8bb6993SVincenzo Frascino #endif /* __ASSEMBLY__ */ 13*d8bb6993SVincenzo Frascino 14*d8bb6993SVincenzo Frascino #endif /* __VDSO_PROCESSOR_H */ 15