Searched refs:_res2 (Results 1 – 1 of 1) sorted by relevance
915 uint32_t _res2; member981 ._res2 = 0, in vmx_invvpid()