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