commit | 00f24ae92c7b9aa73e12fd8160b5756e80126db2 | [log] [tgz] |
---|---|---|
author | Gabe Black <gblack@eecs.umich.edu> | Thu Feb 03 20:23:00 2011 -0800 |
committer | Gabe Black <gblack@eecs.umich.edu> | Thu Feb 03 20:23:00 2011 -0800 |
tree | 1d149846db0efdc77c635891c6c1433d3af1817d | |
parent | 869a046e413d7cbfdda4e33eed8191004017a83f [diff] |
Config: Keep track of uncached and cached ports separately. This makes sure that the address ranges requested for caches and uncached ports don't conflict with each other, and that accesses which are always uncached (message signaled interrupts for instance) don't waste time passing through caches.