Helge Deller writes via Kernel.org Bugzilla: I'd assume the segfault on x86 is because of the vDSO implementation of getcpu() on x86, which executes vdso_read_cpunode() from arch/x86/include/asm/segment.h: static inline void vdso_read_cpunode(unsigned *cpu, unsigned *node) { ... if (cpu) *cpu = (p & VDSO_CPUNODE_MASK); if (node) *node = (p >> VDSO_CPUNODE_BITS); View: https://bugzilla.kernel.org/show_bug.cgi?id=219339#c4 You can reply to this message to join the discussion. -- Deet-doot-dot, I am a bot. Kernel.org Bugzilla (bugspray 0.1-dev)