1234567891011121314151617181920212223242526272829303132333435363738394041 |
- /*
- * Copyright (C) 2012 ARM Limited
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License version 2 as
- * published by the Free Software Foundation.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
- */
- #ifndef __ASM_VDSO_H
- #define __ASM_VDSO_H
- #ifdef __KERNEL__
- /*
- * Default link address for the vDSO.
- * Since we randomise the VDSO mapping, there's little point in trying
- * to prelink this.
- */
- #define VDSO_LBASE 0x0
- #ifndef __ASSEMBLY__
- #include <generated/vdso-offsets.h>
- #define VDSO_SYMBOL(base, name) \
- ({ \
- (void *)(vdso_offset_##name - VDSO_LBASE + (unsigned long)(base)); \
- })
- #endif /* !__ASSEMBLY__ */
- #endif /* __KERNEL__ */
- #endif /* __ASM_VDSO_H */
|