Function invltlb

freebsd/amd64/include/cpufunc.h:485–490

* Global TLB flush (except for thise for pages marked PG_G) */

 * Global TLB flush (except for thise for pages marked PG_G)
 */
static __inline void
invltlb(void)
{

	load_cr3(rcr3());
}

#ifndef CR4_PGE
#define	CR4_PGE	0x00000080	/* Page global enable */