Searched defs:vmcs_hva (Results 1 – 2 of 2) sorted by relevance
505 void *vmcs_hva; member
545 void *vmcs_hva; member