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