Searched defs:max_node_id (Results 1 – 2 of 2) sorted by relevance
65 int64 max_node_id = 0; in LoadCallback() local
132 vki_uint32_t max_node_id; /* Largest possible node ID on this host */ member148 vki_uint32_t max_node_id; /* Largest possible node ID on this host */ member