LP_4K_16M
#define LPTE_LP_4K_16M ((unsigned long long)(LP_4K_16M) << LPTE_LP_SHIFT)
lp_encoding == LP_4K_16M)