| kvm_i386.h (55b1c6e7e4a6909004e13c6d2f328f911a8e7b83) | kvm_i386.h (9a52756044676370f20527b85d450d5fc3ac32e5) |
|---|---|
| 1/*- 2 * Copyright (c) 2015 John H. Baldwin <jhb@FreeBSD.org> 3 * All rights reserved. 4 * 5 * Redistribution and use in source and binary forms, with or without 6 * modification, are permitted provided that the following conditions 7 * are met: 8 * 1. Redistributions of source code must retain the above copyright --- 53 unchanged lines hidden (view full) --- 62#define I386_PG_PS_FRAME_PAE (0x000fffffffe00000ull) 63#define I386_PG_FRAME (0xfffff000) 64#define I386_PG_PS_FRAME (0xffc00000) 65 66#ifdef __i386__ 67_Static_assert(PAGE_SHIFT == I386_PAGE_SHIFT, "PAGE_SHIFT mismatch"); 68_Static_assert(PAGE_SIZE == I386_PAGE_SIZE, "PAGE_SIZE mismatch"); 69_Static_assert(PAGE_MASK == I386_PAGE_MASK, "PAGE_MASK mismatch"); | 1/*- 2 * Copyright (c) 2015 John H. Baldwin <jhb@FreeBSD.org> 3 * All rights reserved. 4 * 5 * Redistribution and use in source and binary forms, with or without 6 * modification, are permitted provided that the following conditions 7 * are met: 8 * 1. Redistributions of source code must retain the above copyright --- 53 unchanged lines hidden (view full) --- 62#define I386_PG_PS_FRAME_PAE (0x000fffffffe00000ull) 63#define I386_PG_FRAME (0xfffff000) 64#define I386_PG_PS_FRAME (0xffc00000) 65 66#ifdef __i386__ 67_Static_assert(PAGE_SHIFT == I386_PAGE_SHIFT, "PAGE_SHIFT mismatch"); 68_Static_assert(PAGE_SIZE == I386_PAGE_SIZE, "PAGE_SIZE mismatch"); 69_Static_assert(PAGE_MASK == I386_PAGE_MASK, "PAGE_MASK mismatch"); |
| 70#if 0 |
|
| 70_Static_assert(NPTEPG == I386_NPTEPG, "NPTEPG mismatch"); | 71_Static_assert(NPTEPG == I386_NPTEPG, "NPTEPG mismatch"); |
| 71_Static_assert(PDRSHIFT == I386_PDRSHIFT, "PDRSHIFT mismatch"); | |
| 72_Static_assert(NBPDR == I386_NBPDR, "NBPDR mismatch"); | 72_Static_assert(NBPDR == I386_NBPDR, "NBPDR mismatch"); |
| 73#endif 74_Static_assert(PDRSHIFT_NOPAE == I386_PDRSHIFT, "PDRSHIFT mismatch"); |
|
| 73 74_Static_assert(PG_V == I386_PG_V, "PG_V mismatch"); 75_Static_assert(PG_PS == I386_PG_PS, "PG_PS mismatch"); | 75 76_Static_assert(PG_V == I386_PG_V, "PG_V mismatch"); 77_Static_assert(PG_PS == I386_PG_PS, "PG_PS mismatch"); |
| 76_Static_assert((u_int)PG_FRAME == I386_PG_FRAME, "PG_FRAME mismatch"); 77_Static_assert(PG_PS_FRAME == I386_PG_PS_FRAME, "PG_PS_FRAME mismatch"); | 78_Static_assert((u_int)PG_FRAME_NOPAE == I386_PG_FRAME, "PG_FRAME mismatch"); 79_Static_assert(PG_PS_FRAME_NOPAE == I386_PG_PS_FRAME, "PG_PS_FRAME mismatch"); |
| 78#endif 79 80int _i386_native(kvm_t *); 81 82#endif /* !__KVM_I386_H__ */ | 80#endif 81 82int _i386_native(kvm_t *); 83 84#endif /* !__KVM_I386_H__ */ |