diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/exec/tb-flush.h | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/include/exec/tb-flush.h b/include/exec/tb-flush.h index 142c240d94..090ffc8818 100644 --- a/include/exec/tb-flush.h +++ b/include/exec/tb-flush.h @@ -9,6 +9,21 @@ #define _TB_FLUSH_H_ /** + * tb_flush__exclusive_or_serial() + * + * Used to flush all the translation blocks in the system. Mostly this is + * used to empty the code generation buffer after it is full. Sometimes it + * is used when it is simpler to flush everything than work out which + * individual translations are now invalid. + * + * Must be called from an exclusive or serial context, e.g. start_exclusive, + * vm_stop, or when there is only one vcpu. Note that start_exclusive cannot + * be called from within the cpu run loop, so this cannot be called from + * within target code. + */ +void tb_flush__exclusive_or_serial(void); + +/** * tb_flush() - flush all translation blocks * @cs: CPUState (must be valid, but treated as anonymous pointer) * |