Annotate read/write paths with user pointer annotations

Annotate kernel/itimer.c with user pointer annotations.

Annotate kernel/futex.c with user pointer annotations.

Annotate fs/stat.c with user pointer annotations.

Merge from DRI CVS: Use the list_entry() macro instead of depending
on the list-head being at the top of the DRI data structures and
using hard casts.

Merge bk://linux-dj.bkbits.net/agpgart
into home.transmeta.com:/home/torvalds/v2.5/linux

[AGPGART] update stale comment in x86-64 GART driver.

[AGPGART] Print banner on detecting AMD64 GART.
All the other GART drivers display what they've found, so make this
one follow suit.

[AGPGART] x86-64 Kconfig fixes.
Offering the K7 GARTs on 64bit kernels causes sillyness, like reports of
"unrecognised device, try unsupported".  We don't want people to even try
that, so don't offer it in the first place.

There's really no good reason for offering any of the IA32 era GARTs on a
x86-64 64bit kernel. If Intel (or whoever) ever do an x86-64 clone, a new
gart driver will be started anyways, as has been done for amd-k8-agp.

[AGPGART] Remove CONFIG_AGP3.
This optioned saved just a handful of bytes, and uglied up the code
quite a lot. Saving less than a page of memory is not as important as
maintainable code.

[AGPGART] Kconfig cleanups. (Remove no longer needed E7x05 entries)

Merge tetrachloride.(none):/mnt/raid/src/kernel/2.5/bk-linus
into tetrachloride.(none):/mnt/raid/src/kernel/2.5/agpgart

[AGPGART] Missing C99 struct initialiser for x86-64 GART

[AGPGART] ia64 related AGP fixes from David Mosberger.

[AGPGART] Fold Intel i7x05 GART into intel-agp driver.
Also includes various other fixes from Matt Tolentino

Fix kernel/posix-timers.c:
 - bad preprocessor test always tested true, even when it shouldn't.
 - annotate user pointers with proper annotations.

Both found by my automatic type checker tool.

Fix bad prototypes in kernel/softirq.c

Annotate kernel/printk.c with user pointer annotations.

Annotate kernel/ptrace.c with user pointer information

Annotate uid16 with user pointer annotations.

Annotate kernel/time.c with user pointer annotations

Annotate sysct with user pointer annotations

Merge http://lia64.bkbits.net/to-linus-2.5
into penguin.transmeta.com:/home/penguin/torvalds/repositories/kernel/linux

ia64: Initial sync with 2.5.67.

Tag more user-supplied path strings as being user pointers for
type evaluation.  This tags the system call interfaces in
fs/open.c, fs/dcache.c and mm/swapfile.c - and tags the path
walking helper functions.

[PATCH] fix file leak in fadvise()

It can miss an fput() if passed the fd of a file which has no ->mapping.

[PATCH] 3c59x EISA tidyup

From: Marc Zyngier <mzyngier@freesurf.fr>

The included patch helps 3c59x to display the correct identification
string (3c592 and 3c597 were displayed as 3c590). It also gets rid of
the EISA_bus reference, which is not needed anymore since the driver
has been ported to the EISA probing API.

[PATCH] task_lock commentary fixes

From: Manfred Spraul <manfred@colorfullife.com>

Update and clarify the incorrect commentary around task_lock()

[PATCH] struct address_space comments

From: "Martin J. Bligh" <mbligh@aracnet.com>

Fix the commentary around the address_space fields.

[PATCH] Make msync(MS_ASYNC) no longer start the I/O

MS_ASYNC will currently wait on previously-submitted I/O, then start new I/O
and not wait on it.  This can cause undesirable blocking if msync is called
rapidly against the same memory.

So instead, change msync(MS_ASYNC) to not start any IO at all.  Just flush
the pte dirty bits into the pageframe and leave it at that.

The IO _will_ happen within a kupdate period.  And the application can use
fsync() or fadvise(FADV_DONTNEED) if it actually wants to schedule the IO
immediately.

(This has triggered an ext3 bug - the page's buffers get dirtied so fast
that kjournald keeps writing the buffers over and over for 10-20 seconds
before deciding to give up for some reason)

[PATCH] Missing brelse() in ext2/ext3 extended attribute code

From: Andreas Gruenbacher <agruen@suse.de>

Missing brelse() in ext2/ext3 extended attribute code

The ext2 and ext3 EA implementations fail to release a buffer_head if
the inode that is being accessed is sharing EAs with another inode, and
an attribute is set to the same value that it has already, like so:

        $ touch f g
$ setfattr -n user.test -v test f g
# (Now, both f and g refer to the same EA block.)
$ setfattr -n user.test -v test f

With the bug, an "invalidate: busy buffer" or "invalidate: dirty
buffer" message will be logged when the file system is unmounted. This
patch fixes the problem.

At the implementation level:

The code was assuming that ext3_xattr_cache_find cannot return the same
block the inode already is associated with, so testing for (old_bh !=
new_bh) would determine whether the old block is resued or an additional
bh is held. This is wrong if the EA block is used by multiple inodes (in
which case it stays in the cache), and the block isn't actually
modified.  Instead of testing for (old_bh != new_bh), the code now does
a get_bh() in the branch that keeps the old block, which assures that
new_bh now is either NULL or a handle that must be released at the end
of ext3_xattr_set_handle2().

[PATCH] epoll cross-thread deletion fix

From: Davide Libenzi <davidel@xmailserver.org>

This fixes a bug that might happen having a thread doing epoll_wait() with
another thread doing epoll_ctl(EPOLL_CTL_DEL) and close(). The fast check
inside eventpoll_release() is good to not effect performace of code not
using epoll, but it requires get_file() to be called ( that can be avoided
by dropping the fast check ). I opted to keep the fast check and to have
epoll to call get_file() before the event send loop. I tested it on UP and
2SMP with a bug-exploiting program provided by @pivia.com ( thx to them )
and it looks fine. I also update the 2.4.20 epoll patch with this fix :

[PATCH] Allow panics and reboots at oops time.

From: Russell Miller <rmiller@duskglow.com>

A BUG or an oops will often leave a machine in a useless state.  There is no
way to remotely recover the machine from that state.

The patch adds a /proc/sys/kernel/panic_on_oops sysctl which, when set, will
cause the x86 kernel to call panic() at the end of the oops handler.  If the
user has also set /proc/sys/kernel/panic then a reboot will occur.

The implementation will try to sleep for a while before panicing so the oops
info has a chance of hitting the logs.

The implementation is designed so that other architectures can easily do this
in their oops handlers.

[PATCH] task_vsize() speedup

From: William Lee Irwin III <wli@holomorphy.com>

task_vsize() mysteriously appeared on my profiles.  This should remove it
from them by using the already in-use elsewhere for rlimit checks
mm->total_vm for the benefit of O(1) cachelines touched.

[PATCH] JBD pasting warning fix

From: "Hua Zhong" <hzhong@cisco.com>

Fix a token-pasting warning from recent gcc's

[PATCH] fix unuse_pmd fixme

From: Hugh Dickins <hugh@veritas.com>

try_to_unuse drop mmlist_lock across unuse_process (with pretty dance
of atomic_incs and mmputs of various mmlist markers, and a polite new
cond_resched there), so unuse_process can pte_chain_alloc(GFP_KERNEL)
and pass that down and down and down and down to unuse_pte: which
cannot succeed more than once on a given mm (make that explicit by
returning back up once succeeded).  Preliminary checks moved up from
unuse_pte to unuse_pmd, and done more efficiently (avoid that extra
pte_file test added recently), swapoff spends far too long in here.
Updated locking comments and references to try_to_swap_out.

[PATCH] rmap comments

From: Hugh Dickins <hugh@veritas.com>

Update a few locking comments in rmap.c.

[PATCH] Replace the radix-tree rwlock with a spinlock

Spinlocks don't have a buslocked unlock and are faster.

On a P4, time to write a 4M file with 4M one-byte-write()s:

Before:
0.72s user 5.47s system 99% cpu 6.227 total
0.76s user 5.40s system 100% cpu 6.154 total
0.77s user 5.38s system 100% cpu 6.146 total

After:
1.09s user 4.92s system 99% cpu 6.014 total
0.74s user 5.28s system 99% cpu 6.023 total
1.03s user 4.97s system 100% cpu 5.991 total

[PATCH] misc rmap speedups

Even a BUG_ON() makes a measurable difference.  So remove some gratuitous
ones which will just trigger a null pointer deref anyway.

Also remove some debug code which isn't really being maintained any more.

Also replace (effectively):

test_bit(N, foo);
set_bit(N, foo);

with

set_bit(N, foo);
test_bit(N, foo);

In the first case we'll go onto the bus twice: once for the cache miss and
once to get exclusive write access.  In the second case we only go on the bus
once.  I think.  Certainly this trick chaved 40% off the cost of
shrink_list() when I did it there...

This patch is worth 1% or so on the bash script testing.

[PATCH] speed up rmap searching

several functions in rmap.c are searching the ptes[] array fo find the first
non-null entry.

Despite the fact tha the whole lot is in L1 cache, it is expensive,
especially on 128-byte cacheline machines.

We can encode the index of the first non-null pte entry inside the
pte_chain's `next' field and remove those searches altogether.

This reduces the rmap CPU tax by about 25% on a P4.  For a total runtime
reduction of around 5% in the bash-script intensive test which I use.

[PATCH] remove nr_reverse_maps VM accounting

Maintaining the `nr_reverse_maps' provides makes a small but
measurable decrease in page_add_rmap() overhead.

I don't think it's a very useful metric, and it can be sort-of inferred from
slabinfo.

[PATCH] null-terminate the kmalloc tables

From: David Mosberger <davidm@napali.hpl.hp.com>

The cache_sizes array needs to be NULL terminated, otherwise an oversized
kmalloc request runs off the end of the table.

[PATCH] Enforce gcc-2.95 as the minimum compiler requirement

Now that sparc64 is using gcc-3.x we can disallow gcc-2.91, etc.

Documentation/Changes already says 2.95.3, which is working fine for me.

With this change, we no longer require that per-cpu data definitions be
initialised.  That was a workaround for a bug in older gccs.  So remove the
build infrastructure which was checking for that.

Also, mention that nfs-utils-1.0.3 is required.  It isn't required yet, but
will be once we enable larger dev_t: there is an interface for exportfs which
passes dev_t's into the kernel which breaks with larger dev_t.  That
interface is old, deprecated and is not used in nfs-utils-1.0.3.

[PATCH] fix wait_on_buffer() debug code

The wait_on_buffer() debug code is generating false warnings when called from
__block_prepare_write().  It is legal to wait on a zero-ref buffer when its
page is locked.  The page lock keeps try_to_free_buffers() away.

This debug code hasn't found any bugs yet.

Merge bk://kernel.bkbits.net/davem/net-2.5
into home.transmeta.com:/home/torvalds/v2.5/linux

Add user pointer attributes to kernel/sys.c

User pointers are not just in another address space, they also
must never be dereferenced directly. Make that clear in the
attribute.

[PATCH] ia64: Fix up "extern inline"

Here is a trivial patch to processor.h to change "extern" to "static".

Annotate x87 user space access functions with proper type attributes.

Annotate fs/namei.c with user pointer annotations.

Annotate fs/exec.c with user pointer annotations.

Add user pointer attributes to kernel/module.c

Annotate i386/signal.c with address space type annotations.

Annotate scheduler system calls as taking user pointers.

[IPSEC]: Avoid using SET_MODULE_OWNER.

Make __SI_MASK explicitly unsigned, instead of depending on
magic C promotion to silently do so for us.

Add __user attributes to user pointers in kernel/signal.c. This
was the first file tested with my type checker with the anal
pointer attribute checking turned on.

Add the proper sprinkling of __user attributes to the
user space access functions. This allows the type checker
to check proper usage.

Add __user/__kernel address space modifiers. When not
checking, these end up being no-ops, but they get enabled
by the type checker as special address_space attributes.

[VLAN]: Update to new module semantics, use synchronize_net.

[IPSEC]: Support for optional policies on input got lost.

[PATCH] ia64: compat_uptr_t and compat_ptr

Here is the ia64 part of the patch.  It depends on my previous COMPAT
patches.  This is safe to apply even before Linus applies the generic
part.

[PATCH] ia64: compat_sys_fcntl{,64}

Here is the ia64 part of the patch.  Pleas apply after Linus has applied
the generic part.

Fix mtdblock.c compile. From Adrian Bunk.

[PATCH] Fix futexes in hugetlb pages

There is a stunning bug.

[PATCH] On the v850/nb85e, acknowledge interrupts immediately after handling them

Previously, it was done automatically by the `reti' isntruction upon
returning from the kernel, but that doesn't do the correct thing in
various cases, for instance if there's a context switch, or a softirq.

Merge

[PATCH] tty_io.c: make redirect static

[PATCH] kafstimod.c fix: make timeouts unsigned long

[PATCH] krxtimod.c fix: make timeouts unsigned long

[PATCH] paride fix: make timeouts unsigned long

ia64: Sync sys32_ipc() with x86 counter-part.

More left-over fixups from the merge with Alan.

Fix up merge with Alan.

[PATCH] make APM machine independant using mach headers

[PATCH] make vm86 machine independant using new headers

[PATCH] use mach io_ports definitions in io_apic

Allows for the non standard cascade

[PATCH] suspend doesnt need compatmac either

[PATCH] last batch of audio C99

[PATCH] sync opl3sa2 with 2.4

[PATCH] yet more sound version/c99

[PATCH] ite C99 and version/h

[PATCH] fix ; in mad16

[PATCH] ics2101 needs to match the gus_lock name too

[PATCH] another C99 and version casd

[PATCH] fix modular gus shared lock

[PATCH] lots more version and C99 for audio

[PATCH] C99 for sound

[PATCH] cs4232 should be devexit

[PATCH] more audiov ersion scrubbing

[PATCH] small pc98xx fix for sound

[PATCH] remove version.h's

[PATCH] irda typo fixes

[PATCH] wireless uses __init

[PATCH] remove version crap

[PATCH] shared multimedia includes for saa71xx

[PATCH] lock for scc drivers

[PATCH] continued compatmac exterminations

[PATCH] hdreg.h typo fix

[PATCH] possible way to clean up fdreg.h