Searched refs:rmid_to_dom (Results 1 – 2 of 2) sorted by relevance
52 domid_t *rmid_to_dom; member
518 psr_cmt->rmid_to_dom = xmalloc_array(domid_t, psr_cmt->rmid_max + 1UL); in init_psr_cmt()519 if ( !psr_cmt->rmid_to_dom ) in init_psr_cmt()531 psr_cmt->rmid_to_dom[0] = DOMID_XEN; in init_psr_cmt()533 psr_cmt->rmid_to_dom[rmid] = DOMID_INVALID; in init_psr_cmt()550 if ( psr_cmt->rmid_to_dom[rmid] != DOMID_INVALID ) in psr_alloc_rmid()553 psr_cmt->rmid_to_dom[rmid] = d->domain_id; in psr_alloc_rmid()579 psr_cmt->rmid_to_dom[rmid] = DOMID_INVALID; in psr_free_rmid()
Completed in 4 milliseconds