Modify current_spl_level to reflect the temporary change in interrupt
priority level which dispatching.
Don't increment the interrupt stats for every handler in the interrupt chain.
Cleaned up a number of comments.
Define soft interrupt names.
A few miscellaneous tidy ups.
Removed any remnants of soft interrupt dispatching.
Cleaned up a number of comments.
Removed a number of blank lines.
Nuked register keywords.
Made sure code is in sync with interrupt handling for other ARM hardware.
to obtains pv_addr_t structures for the proc0 L1 page table and the proc0
pagetable that maps page tables.
Use the virtual address from the pv_addr_t structure for the proc0 L1 page
table when calling pmap_bootstrap rather than relying on a special mapping
at PAGE_DIRS_BASE.
Modify ofw_construct_proc0_addrspace() for similar changes to
ofw_configmem().
Remove the kernel_pde page table in ofw_construct_proc0_addrspace() as it
it now longer needed.
Fix code indenting.
Removed a load of unnecessary includes.
Removed unnecessary prototypes and variables.
Removed dead variables debug_flags and cpu_cache.
Removed some unnecessary cache syncs.
Only sync the first 64 bytes after setting up the vectors.
Removed all the boot argument checking code and instead call the
generic ARM boot argument checking code parse_mi_bootargs() in machdep.c
Fixed the ofrootfound() function so that it builds.
will again compile. This code needs a bunch of cleanup, and the
"generic OFW kernel" code should probably be split into a different
directory than the code which implements the interface to OFW.
Reference Design NetBSD source code, obtained from the pages under
http://www.research.digital.com/SRC/iag . Some of this code (badly)
needs to be cleaned up, and as-is it doesn't compile. However, getting
it in the tree is a start.
