Searched refs:child_portal_paddr (Results 1 – 1 of 1) sorted by relevance
80 uint64_t *child_portal_paddr) in dprc_create_container() argument99 *child_portal_paddr); in dprc_create_container()