Searched refs:target_count (Results 1 – 1 of 1) sorted by relevance
742 uint64_t target_count, target_addr; in get_misc_vmcs() local744 &target_count); in get_misc_vmcs()747 vcpuid, target_count); in get_misc_vmcs()