cpu_invlpg
void cpu_invlpg(u_long addr);
cpu_invlpg(bdata);
cpu_invlpg(__DEVOLATILE(void *, ptr));
cpu_invlpg((void *)va); /* JG XXX */
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
cpu_invlpg((void *)sva);
cpu_invlpg((void *)va);
cpu_invlpg((void *)iva);
cpu_invlpg((void *)iva);
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
cpu_invlpg((void *)va);
void cpu_invlpg(void *addr);
cpu_invlpg((void *)va);
cpu_invlpg((void *)(pg * PAGE_SIZE));