Searched refs:tcg_region_reset_all (Results 1 – 3 of 3) sorted by relevance
744 void tcg_region_reset_all(void);
407 void tcg_region_reset_all(void) in tcg_region_reset_all() function
777 tcg_region_reset_all(); in do_tb_flush()