Searched refs:evmcs_ver (Results 1 – 1 of 1) sorted by relevance
45 uint16_t evmcs_ver; in vcpu_enable_evmcs() local49 .args[0] = (unsigned long)&evmcs_ver in vcpu_enable_evmcs()55 TEST_ASSERT(((evmcs_ver >> 8) >= (evmcs_ver & 0xff)) && in vcpu_enable_evmcs()56 (evmcs_ver & 0xff) > 0, in vcpu_enable_evmcs()58 evmcs_ver & 0xff, evmcs_ver >> 8); in vcpu_enable_evmcs()60 return evmcs_ver; in vcpu_enable_evmcs()