Lines Matching refs:vki_uint32_t
52 vki_uint32_t index;
59 vki_uint32_t count;
65 vki_uint32_t max_domains;
68 vki_uint32_t num_domains;
74 vki_uint32_t max_domains;
77 vki_uint32_t num_domains;
83 vki_uint32_t max_domains;
86 vki_uint32_t num_domains;
98 vki_uint32_t op; /* IN */
99 vki_uint32_t cpupool_id; /* IN: CDIARM OUT: CI */
100 vki_uint32_t sched_id; /* IN: C OUT: I */
101 vki_uint32_t domid; /* IN: M */
102 vki_uint32_t cpu; /* IN: AR */
103 vki_uint32_t n_dom; /* OUT: I */
110 vki_uint32_t nr_keys;
114 vki_uint32_t max_cpu_index;
121 vki_uint32_t max_node_index;
127 vki_uint32_t threads_per_core;
128 vki_uint32_t cores_per_socket;
129 vki_uint32_t nr_cpus; /* # CPUs currently online */
130 vki_uint32_t max_cpu_id; /* Largest possible CPU ID on this host */
131 vki_uint32_t nr_nodes; /* # nodes currently online */
132 vki_uint32_t max_node_id; /* Largest possible node ID on this host */
133 vki_uint32_t cpu_khz;
137 vki_uint32_t hw_cap[8];
139 vki_uint32_t capabilities;
143 vki_uint32_t threads_per_core;
144 vki_uint32_t cores_per_socket;
145 vki_uint32_t nr_cpus; /* # CPUs currently online */
146 vki_uint32_t max_cpu_id; /* Largest possible CPU ID on this host */
147 vki_uint32_t nr_nodes; /* # nodes currently online */
148 vki_uint32_t max_node_id; /* Largest possible node ID on this host */
149 vki_uint32_t cpu_khz;
154 vki_uint32_t hw_cap[8];
156 vki_uint32_t capabilities;
161 vki_uint32_t sched_id;
165 vki_uint32_t cmd;
166 vki_uint32_t interface_version; /* XEN_SYSCTL_INTERFACE_VERSION */
