Searched refs:pdomid (Results 1 – 2 of 2) sorted by relevance
31 uint32_t *pdomid, xc_domain_configuration_t *config) in xc_domain_create() argument55 domctl.domain = *pdomid; in xc_domain_create()64 *pdomid = (uint16_t)domctl.domain; in xc_domain_create()
500 uint32_t *pdomid, xc_domain_configuration_t *config);
Completed in 10 milliseconds