Szabolcs Nagy

@jackschmidt can you bulid this code and run it on the kernel where you observed the issue and send us vdso.so: ``` #include #include int main() { void *p =...

@jackschmidt please explain what that patch is? are you saying you are using a broken modified kernel with non-upstream patches? so far only you could reproduce the bug you reported...

@jackschmidt what makes you think it affects other hw? i don't see the problem on a cortex a72 with same toolchain and 5.6 arm 32bit kernel, i'm building the rpi...

those macros sound like perprocessor api between compiler and libc which would be nice to document, but not necessary in a language spec. however ptraddr_t is a c language extension...

> NIT maybe the draft could be dropped now from the name of the PR. potential issues with current spec: - gcs store intrinsic is missing - const void* vs...