Searched defs:max_cpu_id (Results 1 – 1 of 1) sorted by relevance
130 vki_uint32_t max_cpu_id; /* Largest possible CPU ID on this host */ member146 vki_uint32_t max_cpu_id; /* Largest possible CPU ID on this host */ member