diff options
| author | Stefan Weil <sw@weilnetz.de> | 2011-11-24 23:16:10 +0100 |
|---|---|---|
| committer | Anthony Liguori <aliguori@us.ibm.com> | 2011-11-28 11:36:34 -0600 |
| commit | 51711aee8cb0b17d53872cc06fe73af50c7d9ebd (patch) | |
| tree | d979e6ebe2724421f89992c267c1654426e01637 /default-configs | |
| parent | c16ada980f439c414eac83d184ac9fb66ed60cc0 (diff) | |
tci: Make flush_icache_range() inline
This is standard for other tcg targets and improves tci, too.
Signed-off-by: Stefan Weil <sw@weilnetz.de>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
Diffstat (limited to 'default-configs')
0 files changed, 0 insertions, 0 deletions