tree af93e7343acfd8af0df0853aeb427a6bca95cb19
parent 9967afc718ffdd27abf0a4f02d3cc73329c824bc
author H. Peter Anvin <hpa@zytor.com> 1337128869 -0700
committer H. Peter Anvin <hpa@zytor.com> 1337128869 -0700

[klibc] stdio: don't cache the file pointer

Caching the file pointer is incorrect for append streams, and if we
have to make system calls for append streams we might as well not
bother maintaining the file pointer at all... the biggest win came
from the fact the ftell() could be inlined.

A fully optimized libc can maintain the cached pointer for non-append
streams, but for klibc, don't bother maintaining the file pointer at
all, and just let the kernel worry about that.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>