#include "vdso_image.h"

DEFINE_VDSO_IMAGE(vdsox32, "arch/x86/vdso/vdsox32.so")