I thought I would just check a few assumptions before I go ahead and write code
based on them.

I take it that it is safe to assume that interrupt code which is interrupting
the kernel never, under any circumstances, reads or writes userland memory or
does anything else which could potentially cause a fault.

All process information used by the kernel is unpageable (but possibly
swappable).

Does anyone know of any circumstances under which these assumptions do not
hold?

Cheers

Rob Black

--