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