X86_64_FMT_A
entry = X86_64_FMT_P | X86_64_FMT_RW | X86_64_FMT_U | X86_64_FMT_A |
(X86_64_FMT_RW | X86_64_FMT_U | X86_64_FMT_A |
pte = X86_64_FMT_U | X86_64_FMT_A;