Searched refs:nested_vcpu_id (Results 1 – 2 of 2) sorted by relevance
8578 u32 nested_vcpu_id; member