Thanks, applied.
On Sun, Jan 29, 2012 at 14:47, Avi Kivity wrote:
> Reported-by: Stefan Berger
> Signed-off-by: Avi Kivity
> ---
> exec-obsolete.h | 10 ++
> 1 files changed, 6 insertions(+), 4 deletions(-)
>
> diff --git a/exec-obsolete.h b/exec-obsolete.h
> index 03cf35e..d2749d3 1
Reported-by: Stefan Berger
Signed-off-by: Avi Kivity
---
exec-obsolete.h | 10 ++
1 files changed, 6 insertions(+), 4 deletions(-)
diff --git a/exec-obsolete.h b/exec-obsolete.h
index 03cf35e..d2749d3 100644
--- a/exec-obsolete.h
+++ b/exec-obsolete.h
@@ -83,9 +83,10 @@ static inline