296         if (test_bit(node->value->cache, caches_bitmap)) {  in machine_parse_smp_cache()
298                        "Invalid cache properties: %s. "  in machine_parse_smp_cache()
299                        "The cache properties are duplicated",  in machine_parse_smp_cache()
300                        CacheLevelAndType_str(node->value->cache));  in machine_parse_smp_cache()
304         machine_set_cache_topo_level(ms, node->value->cache,  in machine_parse_smp_cache()
306         set_bit(node->value->cache, caches_bitmap);  in machine_parse_smp_cache()
313          * Reject non "default" topology level if the cache isn't  in machine_parse_smp_cache()
317             !mc->smp_props.cache_supported[props->cache]) {  in machine_parse_smp_cache()
319                        "%s cache topology not supported by this machine",  in machine_parse_smp_cache()
320                        CacheLevelAndType_str(props->cache));  in machine_parse_smp_cache()
326                        "%s level cache not supported by this machine",  in machine_parse_smp_cache()
351                                               CacheLevelAndType cache)  in machine_get_cache_topo_level()  argument
353     return ms->smp_cache.props[cache].topology;  in machine_get_cache_topo_level()
356 void machine_set_cache_topo_level(MachineState *ms, CacheLevelAndType cache,  in machine_set_cache_topo_level()  argument
359     ms->smp_cache.props[cache].topology = level;  in machine_set_cache_topo_level()
380  * Currently, we have no way to expose the arch-specific default cache model
381  * because the cache model is sometimes related to the CPU model (e.g., i386).
383  * We can only check the correctness of the cache topology after the arch loads
384  * the user-configured cache model from MachineState and consumes the special
394                    "Invalid smp cache topology. "  in machine_check_smp_cache()
395                    "L2 cache topology level shouldn't be lower than L1 cache");  in machine_check_smp_cache()
402                    "Invalid smp cache topology. "  in machine_check_smp_cache()
403                    "L3 cache topology level shouldn't be lower than L2 cache");  in machine_check_smp_cache()