Lines Matching refs:_Static_assert
64 _Static_assert(NPTEPG == AMD64_NPTEPG, "NPTEPG mismatch");
65 _Static_assert(PAGE_SHIFT == AMD64_PAGE_SHIFT, "PAGE_SHIFT mismatch");
66 _Static_assert(PAGE_SIZE == AMD64_PAGE_SIZE, "PAGE_SIZE mismatch");
67 _Static_assert(PAGE_MASK == AMD64_PAGE_MASK, "PAGE_MASK mismatch");
68 _Static_assert(NPDEPG == AMD64_NPDEPG, "NPDEPG mismatch");
69 _Static_assert(PDRSHIFT == AMD64_PDRSHIFT, "PDRSHIFT mismatch");
70 _Static_assert(NBPDR == AMD64_NBPDR, "NBPDR mismatch");
71 _Static_assert(PDRMASK == AMD64_PDRMASK, "PDRMASK mismatch");
72 _Static_assert(NPDPEPG == AMD64_NPDPEPG, "NPDPEPG mismatch");
73 _Static_assert(PDPSHIFT == AMD64_PDPSHIFT, "PDPSHIFT mismatch");
74 _Static_assert(NBPDP == AMD64_NBPDP, "NBPDP mismatch");
75 _Static_assert(PDPMASK == AMD64_PDPMASK, "PDPMASK mismatch");
76 _Static_assert(NPML4EPG == AMD64_NPML4EPG, "NPML4EPG mismatch");
77 _Static_assert(PML4SHIFT == AMD64_PML4SHIFT, "PML4SHIFT mismatch");
79 _Static_assert(PG_V == AMD64_PG_V, "PG_V mismatch");
80 _Static_assert(PG_PS == AMD64_PG_PS, "PG_PS mismatch");
81 _Static_assert(PG_FRAME == AMD64_PG_FRAME, "PG_FRAME mismatch");
82 _Static_assert(PG_PS_FRAME == AMD64_PG_PS_FRAME, "PG_PS_FRAME mismatch");