bad_put_le 136 arch/x86/entry/vdso/vdso2c.c extern void bad_put_le(void); bad_put_le 138 arch/x86/entry/vdso/vdso2c.c __builtin_choose_expr(sizeof(*(x)) == 1, *(x) = (val), bad_put_le())