3. Everything is paged (except the pager)
are you really sure? IMHO kernel data pages shouldn't be paged due to performance issue... please, correct if i'am wrong.
