L2_TYPE_S
_Static_assert(L2_TYPE_S == ARM_L2_TYPE_S, "L2_TYPE_S mismatch");
#define PTE2_V L2_TYPE_S /* Valid bit */