Searched refs:max_node_id (Results 1 – 2 of 2) sorted by relevance
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
1176 POST_XEN_SYSCTL_WRITE(physinfo_00000008, max_node_id); in POST()1190 POST_XEN_SYSCTL_WRITE(physinfo_0000000a, max_node_id); in POST()