#include <sys/thread2.h>
#endif
+#ifdef __amd64__
+#include <machine/vmparam.h>
+#endif
+
#endif
typedef enum vm_page_event { VMEVENT_NONE, VMEVENT_COW } vm_page_event_t;
static __inline void
vm_page_free_zero(vm_page_t m)
{
+#ifdef __amd64__
+ /* JG DEBUG64 We check if the page is really zeroed. */
+ char *p = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m));
+ int i;
+
+ for (i = 0; i < PAGE_SIZE; i++) {
+ if (p[i] != 0) {
+ panic("non-zero page in vm_page_free_zero()");
+ }
+ }
+
+#endif
vm_page_flag_set(m, PG_ZERO);
vm_page_free_toq(m);
}