Searched refs:get_hv_owned_pdev_num (Results 1 – 3 of 3) sorted by relevance
372 uint32_t get_hv_owned_pdev_num(void);
60 uint32_t get_hv_owned_pdev_num(void) in get_hv_owned_pdev_num() function
466 for (i = 0U; i < get_hv_owned_pdev_num(); i++) { in deny_hv_owned_devices()
Completed in 8 milliseconds