pollution: used_ids
int used_ids; 

pollution: swap_attempts
unsigned long swap_attempts; 

pollution: swap_successes
unsigned long swap_successes; 

pollution: ALIGN
#define ALIGN(p) _ALIGN(p)

pollution: ALIGNBYTES
#define ALIGNBYTES _ALIGNBYTES

pollution: ALIGNED_POINTER
#define ALIGNED_POINTER(p,t) 1

pollution: CACHE_LINE_SHIFT
#define CACHE_LINE_SHIFT 6

pollution: CACHE_LINE_SIZE
#define CACHE_LINE_SIZE (1 << CACHE_LINE_SHIFT)

pollution: INKERNEL
#define INKERNEL(va) (((va) >= DMAP_MIN_ADDRESS && (va) < DMAP_MAX_ADDRESS) || ((va) >= VM_MIN_KERNEL_ADDRESS && (va) < VM_MAX_KERNEL_ADDRESS))

pollution: IOPAGES
#define IOPAGES 2

pollution: IOPERM_BITMAP_SIZE
#define IOPERM_BITMAP_SIZE (IOPAGES * PAGE_SIZE + 1)

pollution: KSTACK_GUARD_PAGES
#define KSTACK_GUARD_PAGES 1

pollution: KSTACK_PAGES
#define KSTACK_PAGES 4

pollution: MACHINE
#define MACHINE "amd64"

pollution: MACHINE_ARCH
#define MACHINE_ARCH "amd64"

pollution: MACHINE_ARCH32
#define MACHINE_ARCH32 "i386"

pollution: MAXCPU
#define MAXCPU 1

pollution: MAXMEMDOM
#define MAXMEMDOM 8

pollution: MAXPAGESIZES
#define MAXPAGESIZES 3

pollution: NBPDP
#define NBPDP (1<<PDPSHIFT)

pollution: NBPDR
#define NBPDR (1<<PDRSHIFT)

pollution: NBPML4
#define NBPML4 (1UL<<PML4SHIFT)

pollution: NBPML5
#define NBPML5 (1UL<<PML5SHIFT)

pollution: NPDEPG
#define NPDEPG (PAGE_SIZE/(sizeof (pd_entry_t)))

pollution: NPDEPGSHIFT
#define NPDEPGSHIFT 9

pollution: NPDPEPG
#define NPDPEPG (PAGE_SIZE/(sizeof (pdp_entry_t)))

pollution: NPDPEPGSHIFT
#define NPDPEPGSHIFT 9

pollution: NPML4EPG
#define NPML4EPG (PAGE_SIZE/(sizeof (pml4_entry_t)))

pollution: NPML4EPGSHIFT
#define NPML4EPGSHIFT 9

pollution: NPML5EPG
#define NPML5EPG (PAGE_SIZE/(sizeof (pml5_entry_t)))

pollution: NPML5EPGSHIFT
#define NPML5EPGSHIFT 9

pollution: NPTEPG
#define NPTEPG (PAGE_SIZE/(sizeof (pt_entry_t)))

pollution: NPTEPGSHIFT
#define NPTEPGSHIFT 9

pollution: PAGE_MASK
#define PAGE_MASK (PAGE_SIZE-1)

pollution: PAGE_SHIFT
#define PAGE_SHIFT 12

pollution: PAGE_SIZE
#define PAGE_SIZE (1<<PAGE_SHIFT)

pollution: PDPMASK
#define PDPMASK (NBPDP-1)

pollution: PDPSHIFT
#define PDPSHIFT 30

pollution: PDRMASK
#define PDRMASK (NBPDR-1)

pollution: PDRSHIFT
#define PDRSHIFT 21

pollution: PML4MASK
#define PML4MASK (NBPML4-1)

pollution: PML4SHIFT
#define PML4SHIFT 39

pollution: PML5MASK
#define PML5MASK (NBPML5-1)

pollution: PML5SHIFT
#define PML5SHIFT 48

pollution: amd64_btop
#define amd64_btop(x) ((unsigned long)(x) >> PAGE_SHIFT)

pollution: amd64_ptob
#define amd64_ptob(x) ((unsigned long)(x) << PAGE_SHIFT)

pollution: atop
#define atop(x) ((unsigned long)(x) >> PAGE_SHIFT)

pollution: pgtok
#define pgtok(x) ((unsigned long)(x) * (PAGE_SIZE / 1024))

pollution: ptoa
#define ptoa(x) ((unsigned long)(x) << PAGE_SHIFT)

pollution: round_2mpage
#define round_2mpage(x) ((((unsigned long)(x)) + PDRMASK) & ~PDRMASK)

pollution: round_page
#define round_page(x) ((((unsigned long)(x)) + PAGE_MASK) & ~(PAGE_MASK))

pollution: trunc_1gpage
#define trunc_1gpage(x) ((unsigned long)(x) & ~PDPMASK)

pollution: trunc_2mpage
#define trunc_2mpage(x) ((unsigned long)(x) & ~PDRMASK)

pollution: trunc_page
#define trunc_page(x) ((unsigned long)(x) & ~(PAGE_MASK))