Searched refs:_res2 (Results 1 – 2 of 2) sorted by relevance
178 uint32_t _res2; member
1281 invvpid_desc._res2 = 0; in vmx_invvpid()