/**Copyright2013TileraCorporation.AllRightsReserved.**Thisprogramisfreesoftware; you can redistribute it and/or*modifyitunderthetermsoftheGNUGeneralPublicLicense*aspublishedbytheFreeSoftwareFoundation,version2.**Thisprogramisdistributedinthehopethatitwillbeuseful,but*WITHOUTANYWARRANTY; without even the implied warranty of*MERCHANTABILITYORFITNESSFORAPARTICULARPURPOSE,GOODTITLEor*NONINFRINGEMENT.SeetheGNUGeneralPublicLicensefor*moredetails.*/#include <linux/init.h>#include <linux/linkage.h>#include <asm/page.h>__PAGE_ALIGNED_DATA.globalvdso32_start,vdso32_end.alignPAGE_SIZEvdso32_start:.incbin"arch/tile/kernel/vdso/vdso32.so".alignPAGE_SIZEvdso32_end:.previous