Searched refs:evmcs_ver (Results 1 – 1 of 1) sorted by relevance
30 u16 evmcs_ver; in vcpu_enable_evmcs() local33 (unsigned long)&evmcs_ver); in vcpu_enable_evmcs()36 TEST_ASSERT(((evmcs_ver >> 8) >= (evmcs_ver & 0xff)) && in vcpu_enable_evmcs()37 (evmcs_ver & 0xff) > 0, in vcpu_enable_evmcs()39 evmcs_ver & 0xff, evmcs_ver >> 8); in vcpu_enable_evmcs()41 return evmcs_ver; in vcpu_enable_evmcs()