HomeFreeBSD

vdso for ia32 on amd64