x86_64_pt_can_have_leaf
#define pt_can_have_leaf x86_64_pt_can_have_leaf
(x86_64_pt_can_have_leaf(pts) && (entry & X86_64_FMT_PS)))