/* SPDX-License-Identifier: GPL-2.0-only *//* * Copyright (C) 2020 ARM Ltd. */#ifndef __VDSO_PROCESSOR_H#define __VDSO_PROCESSOR_H #ifndef __ASSEMBLER__ #include <asm/vdso/processor.h> #endif /* __ASSEMBLER__ */ #endif /* __VDSO_PROCESSOR_H */
/* SPDX-License-Identifier: GPL-2.0-only */
/*
* Copyright (C) 2020 ARM Ltd.
*/
#ifndef __VDSO_PROCESSOR_H
#define __VDSO_PROCESSOR_H
#ifndef __ASSEMBLER__
#include <asm/vdso/processor.h>
#endif /* __ASSEMBLER__ */
#endif /* __VDSO_PROCESSOR_H */