1a21d4e095
Add support for the x32 VDSO. The x32 VDSO takes advantage of the similarity between the x86-64 and the x32 ABIs to contain the same content, only the container is different, as the x32 VDSO obviously is an x32 shared object. Signed-off-by: H. Peter Anvin <hpa@zytor.com>
23 lines
480 B
ArmAsm
23 lines
480 B
ArmAsm
#include <asm/page_types.h>
|
|
#include <linux/linkage.h>
|
|
#include <linux/init.h>
|
|
|
|
__PAGE_ALIGNED_DATA
|
|
|
|
.globl vdsox32_start, vdsox32_end
|
|
.align PAGE_SIZE
|
|
vdsox32_start:
|
|
.incbin "arch/x86/vdso/vdsox32.so"
|
|
vdsox32_end:
|
|
.align PAGE_SIZE /* extra data here leaks to userspace. */
|
|
|
|
.previous
|
|
|
|
.globl vdsox32_pages
|
|
.bss
|
|
.align 8
|
|
.type vdsox32_pages, @object
|
|
vdsox32_pages:
|
|
.zero (vdsox32_end - vdsox32_start + PAGE_SIZE - 1) / PAGE_SIZE * 8
|
|
.size vdsox32_pages, .-vdsox32_pages
|