* * no spls since no interrupts.
pmap_init(){	DPRINTF(PDB_FOLLOW|PDB_INIT, ("pmap_init()\n"));	pool_init(&pmap_pmap_pool, sizeof(struct pmap), 0, 0, 0, "pmappl",	    &pool_allocator_nointr);	pool_init(&pmap_pv_pool, sizeof(struct pv_entry), 0, 0, 0, "pmappv",	    &pmap_allocator_pv);	simple_lock_init(&pvalloc_lock);	pmap_initialized = TRUE;	/*	 * map SysCall gateways page once for everybody	 * NB: we'll have to remap the phys memory	 *     if we have any at SYSCALLGATE address (;	 *	 * no spls since no interrupts.	 */	{		pt_entry_t *pde;		if (!(pde = pmap_pde_get(pmap_kernel()->pm_pdir, SYSCALLGATE)) &&		    !(pde = pmap_pde_alloc(pmap_kernel(), SYSCALLGATE, NULL)))			panic("pmap_init: cannot allocate pde");		pmap_pte_set(pde, SYSCALLGATE, (paddr_t)&gateway_page |		    PTE_PROT(TLB_GATE_PROT));	}}