/* * the various kernel maps, owned by MD code */ /* * global data structures */