Searched refs:max_node_id (Results 1 - 2 of 2) sorted by relevance
| /external/valgrind/include/vki/ | ||
| H A D | vki-xen-sysctl.h | 135 vki_uint32_t max_node_id; /* Largest possible node ID on this host */ member in struct:vki_xen_sysctl_physinfo_00000008 151 vki_uint32_t max_node_id; /* Largest possible node ID on this host */ member in struct:vki_xen_sysctl_physinfo_0000000a |
| /external/valgrind/coregrind/m_syswrap/ | ||
| H A D | syswrap-xen.c | 1606 POST_XEN_SYSCTL_WRITE(physinfo_00000008, max_node_id); 1621 POST_XEN_SYSCTL_WRITE(physinfo_0000000a, max_node_id); |
Completed in 127 milliseconds