Naming is arbitrary. I don't really care how you call things. However
when communicating with others it sometimes helps to take on the
nomenclature that they are used to. Richard, in this case, it might
help to publicly call "prefetch queue" what you yourself think of as
"instruction cache".
(To be perfectly honest: Instruction cache, and prefetch queue are,
in my nomenclature, different things (although similar), and you're
talking about the prefetch queue.)
Roger.
-- | Most people would die sooner than think.... | R.E.Wolff@BitWizard.nl | in fact, most do. -- Bertrand Russsell | phone: +31-15-2137555 We write Linux device drivers for any device you may have! fax: ..-2138217- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/