В чем разница между vdso32 и vdsox32?

Question

Я прошу прощения, если ответ на этот вопрос очевиден, но почему существуют две версии^[1] vdso для 32-битных исполняемых файлов в системах Linux, и какие критерии используются для выбора среди них?

_{* как можно найти в}/lib/modules/KERNEL_NAME/vdso

Answer 1

x32- это Linux ABI, представляющий собой смесь между x86 и x64. Он использует 32-битный размер адреса, но работает в полном 64-битном режиме, включая все 64-битные инструкции и доступные регистры.