------- Comment #16 from andi-gcc at firstfloor dot org 2010-06-18 21:11 ------- This turned out to be a kernel bug, rdtsc_barrier() needed to be marked __force_inline, otherwise gcc would not inline this function.
(although it's slightly fishy for gcc too not inline a function that only has two inline assembler statements even with -Os) http://lkml.org/lkml/2010/6/18/317 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44129
