Revision 771124e1 exec.c

b/exec.c
1876 1876
    .addend     = -1,
1877 1877
};
1878 1878

  
1879
/* NOTE: if flush_global is true, also flush global entries (not
1880
   implemented yet) */
1879
/* NOTE:
1880
 * If flush_global is true (the usual case), flush all tlb entries.
1881
 * If flush_global is false, flush (at least) all tlb entries not
1882
 * marked global.
1883
 *
1884
 * Since QEMU doesn't currently implement a global/not-global flag
1885
 * for tlb entries, at the moment tlb_flush() will also flush all
1886
 * tlb entries in the flush_global == false case. This is OK because
1887
 * CPU architectures generally permit an implementation to drop
1888
 * entries from the TLB at any time, so flushing more entries than
1889
 * required is only an efficiency issue, not a correctness issue.
1890
 */
1881 1891
void tlb_flush(CPUState *env, int flush_global)
1882 1892
{
1883 1893
    int i;

Also available in: Unified diff