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