Searched refs:target_count (Results 1 – 1 of 1) sorted by relevance
919 uint64_t target_count, target_addr; in get_misc_vmcs() local921 &target_count); in get_misc_vmcs()924 vcpuid, target_count); in get_misc_vmcs()