Team, Do we have vDSO support in glibc or 32-bit x86? I see only support for x86_64, power, s390, tile, aarch64, and m68k. I could have sworn we had it, maybe I just kept looking at the x86_64 code. Am I missing something? Cheers, Carlos.