Searched defs:vmcs12_pa (Results 1 – 2 of 2) sorted by relevance
434 __u64 vmcs12_pa; member
3712 pub vmcs12_pa: __u64, field