Lines Matching refs:d_config
1367 libxl_domain_config *const d_config);
1415 libxl_domain_config * const d_config,
1422 libxl_domain_config *const d_config, libxl__domain_build_state *state);
1424 libxl_domain_config *d_config,
1558 libxl_domain_config *d_config,
1731 const libxl_domain_config *d_config);
1947 libxl_domain_config *d_config,
1952 libxl_domain_config *d_config,
1960 libxl_domain_config *d_config);
1968 libxl_domain_config *d_config,
1976 libxl_domain_config *d_config,
3711 libxl_domain_config *d_config, \
3716 for (i = 0; i < d_config->num_##type##s; i++) { \
3718 libxl__device_##type##_add(egc, domid, &d_config->type##s[i], \
3917 const libxl__device_type *dt, const libxl_domain_config *d_config) in libxl__device_type_get_ptr() argument
3919 return (void **)((void *)d_config + dt->ptr_offset); in libxl__device_type_get_ptr()
3923 const libxl__device_type *dt, const libxl_domain_config *d_config, in libxl__device_type_get_elem() argument
3926 return *libxl__device_type_get_ptr(dt, d_config) + dt->dev_elem_size * e; in libxl__device_type_get_elem()
3930 const libxl__device_type *dt, const libxl_domain_config *d_config) in libxl__device_type_get_num() argument
3932 return (int *)((void *)d_config + dt->num_offset); in libxl__device_type_get_num()
4064 libxl_domain_config *d_config,
4068 libxl_domain_config *d_config,
4172 libxl_domain_config *d_config,
4667 libxl_domain_config *d_config);
4669 libxl_domain_config *d_config);
4752 void device_add_domain_config(libxl__gc *gc, libxl_domain_config *d_config,
4807 libxl__gc *gc, libxl_domain_config *d_config, uint32_t domid);