__x86_return_thunk
kmem_cache_size
seq_putc
