aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPeter Maydell <peter.maydell@linaro.org>2012-01-17 13:23:13 +0000
committerAnthony Liguori <aliguori@us.ibm.com>2012-02-01 14:45:01 -0600
commit771124e1a61f73886ab16b4c9ce01eeffb74ce2b (patch)
treef9edef66846b86ed19c394166e951701002f6123 /Makefile
parent23704102ba9e24ad5eb913f240fdcf1bd45d38b1 (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