diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2012-01-17 13:23:13 +0000 |
---|---|---|
committer | Anthony Liguori <aliguori@us.ibm.com> | 2012-02-01 14:45:01 -0600 |
commit | 771124e1a61f73886ab16b4c9ce01eeffb74ce2b (patch) | |
tree | f9edef66846b86ed19c394166e951701002f6123 /Makefile | |
parent | 23704102ba9e24ad5eb913f240fdcf1bd45d38b1 (diff) |
exec.c: Clarify comment about tlb_flush() flush_global parameter
Clarify the comment about tlb_flush()'s flush_global parameter,
so it is clearer what it does and why it is OK that the implementation
currently ignores it.
Reviewed-by: Andreas F=C3=A4rber <afaerber@suse.de>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions