Home
last modified time | relevance | path

Searched refs:max_cpu_index (Results 1 – 2 of 2) sorted by relevance

/external/valgrind/main/include/vki/
Dvki-xen-sysctl.h114 vki_uint32_t max_cpu_index; member
/external/valgrind/main/coregrind/m_syswrap/
Dsyswrap-xen.c517 PRE_XEN_SYSCTL_READ(topologyinfo, max_cpu_index); in PRE()
1123 POST_XEN_SYSCTL_WRITE(topologyinfo, max_cpu_index); in POST()
1126 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()
1129 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()
1132 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()