« Previous | Next » 

Revision 51711aee

ID51711aee8cb0b17d53872cc06fe73af50c7d9ebd

Added by Stefan Weil over 12 years ago

tci: Make flush_icache_range() inline

This is standard for other tcg targets and improves tci, too.

Signed-off-by: Stefan Weil <>
Signed-off-by: Anthony Liguori <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences