Searched refs:tcg_init (Results 1 – 3 of 3) sorted by relevance
37 void tcg_init(size_t tb_size, int splitwx, unsigned max_cpus);
117 tcg_init(s->tb_size * MiB, s->splitwx_enabled, max_cpus); in tcg_init_machine()
1375 void tcg_init(size_t tb_size, int splitwx, unsigned max_cpus) in tcg_init() function