Searched refs:encoded_level (Results 1 – 1 of 1) sorted by relevance
521 u64 encoded_level = eptp & VMX_EPTP_PWL_MASK; in vmx_eptp_page_walk_level() local523 if (encoded_level == VMX_EPTP_PWL_5) in vmx_eptp_page_walk_level()527 WARN_ON_ONCE(encoded_level != VMX_EPTP_PWL_4); in vmx_eptp_page_walk_level()