2 * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
4 * Copyright (c) 1996, by Steve Passe
5 * Copyright (c) 2003, by Peter Wemm
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
11 * 1. Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * 2. The name of the developer may NOT be used to endorse or promote products
14 * derived from this software without specific prior written permission.
16 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 #include <sys/cdefs.h>
30 __FBSDID("$FreeBSD$");
34 #include "opt_kstack_pages.h"
35 #include "opt_sched.h"
38 #include <sys/param.h>
39 #include <sys/systm.h>
41 #include <sys/cpuset.h>
45 #include <sys/kernel.h>
48 #include <sys/malloc.h>
49 #include <sys/memrange.h>
50 #include <sys/mutex.h>
53 #include <sys/sched.h>
55 #include <sys/sysctl.h>
58 #include <vm/vm_param.h>
60 #include <vm/vm_kern.h>
61 #include <vm/vm_extern.h>
63 #include <x86/apicreg.h>
64 #include <machine/clock.h>
65 #include <machine/cputypes.h>
66 #include <machine/cpufunc.h>
68 #include <machine/md_var.h>
69 #include <machine/pcb.h>
70 #include <machine/psl.h>
71 #include <machine/smp.h>
72 #include <machine/specialreg.h>
73 #include <machine/tss.h>
74 #include <x86/ucode.h>
75 #include <machine/cpu.h>
78 #define WARMBOOT_TARGET 0
79 #define WARMBOOT_OFF (KERNBASE + 0x0467)
80 #define WARMBOOT_SEG (KERNBASE + 0x0469)
82 #define CMOS_REG (0x70)
83 #define CMOS_DATA (0x71)
84 #define BIOS_RESET (0x0f)
85 #define BIOS_WARM (0x0a)
87 #define GiB(v) (v ## ULL << 30)
89 extern struct pcpu __pcpu[];
91 /* Temporary variables for init_secondary() */
92 char *doublefault_stack;
98 * Local data and functions.
101 static int start_ap(int apic_id);
104 * Calculate usable address in base memory for AP trampoline code.
107 mp_bootaddress(vm_paddr_t *physmap, unsigned int *physmap_idx)
112 alloc_ap_trampoline(physmap, physmap_idx);
115 for (i = *physmap_idx; i <= *physmap_idx; i -= 2) {
117 * Find a memory region big enough below the 4GB
118 * boundary to store the initial page tables. Region
119 * must be mapped by the direct map.
121 * Note that it needs to be aligned to a page
124 if (physmap[i] >= GiB(4) || physmap[i + 1] -
125 round_page(physmap[i]) < PAGE_SIZE * 3 ||
126 atop(physmap[i + 1]) > Maxmem)
130 mptramp_pagetables = round_page(physmap[i]);
131 physmap[i] = round_page(physmap[i]) + (PAGE_SIZE * 3);
132 if (physmap[i] == physmap[i + 1] && *physmap_idx != 0) {
133 memmove(&physmap[i], &physmap[i + 2],
134 sizeof(*physmap) * (*physmap_idx - i + 2));
141 mptramp_pagetables = trunc_page(boot_address) - (PAGE_SIZE * 3);
144 "Cannot find enough space for the initial AP page tables, placing them at %#x",
150 * Initialize the IPI handlers and start up the AP's.
157 /* Initialize the logical ID to APIC ID table. */
158 for (i = 0; i < MAXCPU; i++) {
159 cpu_apic_ids[i] = -1;
160 cpu_ipi_pending[i] = 0;
163 /* Install an inter-CPU IPI for TLB invalidation */
164 if (pmap_pcid_enabled) {
166 setidt(IPI_INVLTLB, pti ?
167 IDTVEC(invltlb_invpcid_pti_pti) :
168 IDTVEC(invltlb_invpcid_nopti), SDT_SYSIGT,
170 setidt(IPI_INVLPG, pti ? IDTVEC(invlpg_invpcid_pti) :
171 IDTVEC(invlpg_invpcid), SDT_SYSIGT, SEL_KPL, 0);
172 setidt(IPI_INVLRNG, pti ? IDTVEC(invlrng_invpcid_pti) :
173 IDTVEC(invlrng_invpcid), SDT_SYSIGT, SEL_KPL, 0);
175 setidt(IPI_INVLTLB, pti ? IDTVEC(invltlb_pcid_pti) :
176 IDTVEC(invltlb_pcid), SDT_SYSIGT, SEL_KPL, 0);
177 setidt(IPI_INVLPG, pti ? IDTVEC(invlpg_pcid_pti) :
178 IDTVEC(invlpg_pcid), SDT_SYSIGT, SEL_KPL, 0);
179 setidt(IPI_INVLRNG, pti ? IDTVEC(invlrng_pcid_pti) :
180 IDTVEC(invlrng_pcid), SDT_SYSIGT, SEL_KPL, 0);
183 setidt(IPI_INVLTLB, pti ? IDTVEC(invltlb_pti) : IDTVEC(invltlb),
184 SDT_SYSIGT, SEL_KPL, 0);
185 setidt(IPI_INVLPG, pti ? IDTVEC(invlpg_pti) : IDTVEC(invlpg),
186 SDT_SYSIGT, SEL_KPL, 0);
187 setidt(IPI_INVLRNG, pti ? IDTVEC(invlrng_pti) : IDTVEC(invlrng),
188 SDT_SYSIGT, SEL_KPL, 0);
191 /* Install an inter-CPU IPI for cache invalidation. */
192 setidt(IPI_INVLCACHE, pti ? IDTVEC(invlcache_pti) : IDTVEC(invlcache),
193 SDT_SYSIGT, SEL_KPL, 0);
195 /* Install an inter-CPU IPI for all-CPU rendezvous */
196 setidt(IPI_RENDEZVOUS, pti ? IDTVEC(rendezvous_pti) :
197 IDTVEC(rendezvous), SDT_SYSIGT, SEL_KPL, 0);
199 /* Install generic inter-CPU IPI handler */
200 setidt(IPI_BITMAP_VECTOR, pti ? IDTVEC(ipi_intr_bitmap_handler_pti) :
201 IDTVEC(ipi_intr_bitmap_handler), SDT_SYSIGT, SEL_KPL, 0);
203 /* Install an inter-CPU IPI for CPU stop/restart */
204 setidt(IPI_STOP, pti ? IDTVEC(cpustop_pti) : IDTVEC(cpustop),
205 SDT_SYSIGT, SEL_KPL, 0);
207 /* Install an inter-CPU IPI for CPU suspend/resume */
208 setidt(IPI_SUSPEND, pti ? IDTVEC(cpususpend_pti) : IDTVEC(cpususpend),
209 SDT_SYSIGT, SEL_KPL, 0);
211 /* Set boot_cpu_id if needed. */
212 if (boot_cpu_id == -1) {
213 boot_cpu_id = PCPU_GET(apic_id);
214 cpu_info[boot_cpu_id].cpu_bsp = 1;
216 KASSERT(boot_cpu_id == PCPU_GET(apic_id),
217 ("BSP's APIC ID doesn't match boot_cpu_id"));
219 /* Probe logical/physical core configuration. */
224 /* Start each Application Processor */
225 init_ops.start_all_aps();
227 set_interrupt_apic_ids();
232 * AP CPU's call this to initialize themselves.
240 int cpu, gsel_tss, x;
241 struct region_descriptor ap_gdt;
243 /* Set by the startup code for us to use */
246 /* Update microcode before doing anything else. */
250 common_tss[cpu] = common_tss[0];
251 common_tss[cpu].tss_iobase = sizeof(struct amd64tss) +
253 common_tss[cpu].tss_ist1 = (long)&doublefault_stack[PAGE_SIZE];
255 /* The NMI stack runs on IST2. */
256 np = ((struct nmi_pcpu *) &nmi_stack[PAGE_SIZE]) - 1;
257 common_tss[cpu].tss_ist2 = (long) np;
259 /* The MC# stack runs on IST3. */
260 np = ((struct nmi_pcpu *) &mce_stack[PAGE_SIZE]) - 1;
261 common_tss[cpu].tss_ist3 = (long) np;
263 /* The DB# stack runs on IST4. */
264 np = ((struct nmi_pcpu *) &dbg_stack[PAGE_SIZE]) - 1;
265 common_tss[cpu].tss_ist4 = (long) np;
267 /* Prepare private GDT */
268 gdt_segs[GPROC0_SEL].ssd_base = (long) &common_tss[cpu];
269 for (x = 0; x < NGDT; x++) {
270 if (x != GPROC0_SEL && x != (GPROC0_SEL + 1) &&
271 x != GUSERLDT_SEL && x != (GUSERLDT_SEL + 1))
272 ssdtosd(&gdt_segs[x], &gdt[NGDT * cpu + x]);
274 ssdtosyssd(&gdt_segs[GPROC0_SEL],
275 (struct system_segment_descriptor *)&gdt[NGDT * cpu + GPROC0_SEL]);
276 ap_gdt.rd_limit = NGDT * sizeof(gdt[0]) - 1;
277 ap_gdt.rd_base = (long) &gdt[NGDT * cpu];
278 lgdt(&ap_gdt); /* does magic intra-segment return */
280 /* Get per-cpu data */
283 /* prime data page for it to use */
284 pcpu_init(pc, cpu, sizeof(struct pcpu));
285 dpcpu_init(dpcpu, cpu);
286 pc->pc_apic_id = cpu_apic_ids[cpu];
287 pc->pc_prvspace = pc;
288 pc->pc_curthread = 0;
289 pc->pc_tssp = &common_tss[cpu];
290 pc->pc_commontssp = &common_tss[cpu];
292 pc->pc_pti_rsp0 = (((vm_offset_t)&pc->pc_pti_stack +
293 PC_PTI_STACK_SZ * sizeof(uint64_t)) & ~0xful);
294 pc->pc_tss = (struct system_segment_descriptor *)&gdt[NGDT * cpu +
296 pc->pc_fs32p = &gdt[NGDT * cpu + GUFS32_SEL];
297 pc->pc_gs32p = &gdt[NGDT * cpu + GUGS32_SEL];
298 pc->pc_ldt = (struct system_segment_descriptor *)&gdt[NGDT * cpu +
300 /* See comment in pmap_bootstrap(). */
301 pc->pc_pcid_next = PMAP_PCID_KERN + 2;
303 common_tss[cpu].tss_rsp0 = 0;
305 /* Save the per-cpu pointer for use by the NMI handler. */
306 np = ((struct nmi_pcpu *) &nmi_stack[PAGE_SIZE]) - 1;
307 np->np_pcpu = (register_t) pc;
309 /* Save the per-cpu pointer for use by the MC# handler. */
310 np = ((struct nmi_pcpu *) &mce_stack[PAGE_SIZE]) - 1;
311 np->np_pcpu = (register_t) pc;
313 /* Save the per-cpu pointer for use by the DB# handler. */
314 np = ((struct nmi_pcpu *) &dbg_stack[PAGE_SIZE]) - 1;
315 np->np_pcpu = (register_t) pc;
317 wrmsr(MSR_FSBASE, 0); /* User value */
318 wrmsr(MSR_GSBASE, (u_int64_t)pc);
319 wrmsr(MSR_KGSBASE, (u_int64_t)pc); /* XXX User value while we're in the kernel */
324 gsel_tss = GSEL(GPROC0_SEL, SEL_KPL);
328 * Set to a known state:
329 * Set by mpboot.s: CR0_PG, CR0_PE
330 * Set by cpu_setregs: CR0_NE, CR0_MP, CR0_TS, CR0_WP, CR0_AM
333 cr0 &= ~(CR0_CD | CR0_NW | CR0_EM);
336 amd64_conf_fast_syscall();
338 /* signal our startup to the BSP. */
341 /* Spin until the BSP releases the AP's. */
342 while (atomic_load_acq_int(&aps_ready) == 0)
345 init_secondary_tail();
348 /*******************************************************************
349 * local functions and data
353 * start each AP in our list
356 native_start_all_aps(void)
358 u_int64_t *pt4, *pt3, *pt2;
359 u_int32_t mpbioswarmvec;
363 mtx_init(&ap_boot_mtx, "ap boot", NULL, MTX_SPIN);
365 /* copy the AP 1st level boot code */
366 bcopy(mptramp_start, (void *)PHYS_TO_DMAP(boot_address), bootMP_size);
368 /* Locate the page tables, they'll be below the trampoline */
369 pt4 = (uint64_t *)PHYS_TO_DMAP(mptramp_pagetables);
370 pt3 = pt4 + (PAGE_SIZE) / sizeof(u_int64_t);
371 pt2 = pt3 + (PAGE_SIZE) / sizeof(u_int64_t);
373 /* Create the initial 1GB replicated page tables */
374 for (i = 0; i < 512; i++) {
375 /* Each slot of the level 4 pages points to the same level 3 page */
376 pt4[i] = (u_int64_t)(uintptr_t)(mptramp_pagetables + PAGE_SIZE);
377 pt4[i] |= PG_V | PG_RW | PG_U;
379 /* Each slot of the level 3 pages points to the same level 2 page */
380 pt3[i] = (u_int64_t)(uintptr_t)(mptramp_pagetables + (2 * PAGE_SIZE));
381 pt3[i] |= PG_V | PG_RW | PG_U;
383 /* The level 2 page slots are mapped with 2MB pages for 1GB. */
384 pt2[i] = i * (2 * 1024 * 1024);
385 pt2[i] |= PG_V | PG_RW | PG_PS | PG_U;
388 /* save the current value of the warm-start vector */
389 mpbioswarmvec = *((u_int32_t *) WARMBOOT_OFF);
390 outb(CMOS_REG, BIOS_RESET);
391 mpbiosreason = inb(CMOS_DATA);
393 /* setup a vector to our boot code */
394 *((volatile u_short *) WARMBOOT_OFF) = WARMBOOT_TARGET;
395 *((volatile u_short *) WARMBOOT_SEG) = (boot_address >> 4);
396 outb(CMOS_REG, BIOS_RESET);
397 outb(CMOS_DATA, BIOS_WARM); /* 'warm-start' */
400 for (cpu = 1; cpu < mp_ncpus; cpu++) {
401 apic_id = cpu_apic_ids[cpu];
403 /* allocate and set up an idle stack data page */
404 bootstacks[cpu] = (void *)kmem_malloc(kstack_pages * PAGE_SIZE,
406 doublefault_stack = (char *)kmem_malloc(PAGE_SIZE, M_WAITOK |
408 mce_stack = (char *)kmem_malloc(PAGE_SIZE, M_WAITOK | M_ZERO);
409 nmi_stack = (char *)kmem_malloc(PAGE_SIZE, M_WAITOK | M_ZERO);
410 dbg_stack = (char *)kmem_malloc(PAGE_SIZE, M_WAITOK | M_ZERO);
411 dpcpu = (void *)kmem_malloc(DPCPU_SIZE, M_WAITOK | M_ZERO);
413 bootSTK = (char *)bootstacks[cpu] + kstack_pages * PAGE_SIZE - 8;
416 /* attempt to start the Application Processor */
417 if (!start_ap(apic_id)) {
418 /* restore the warmstart vector */
419 *(u_int32_t *) WARMBOOT_OFF = mpbioswarmvec;
420 panic("AP #%d (PHY# %d) failed!", cpu, apic_id);
423 CPU_SET(cpu, &all_cpus); /* record AP in CPU map */
426 /* restore the warmstart vector */
427 *(u_int32_t *) WARMBOOT_OFF = mpbioswarmvec;
429 outb(CMOS_REG, BIOS_RESET);
430 outb(CMOS_DATA, mpbiosreason);
432 /* number of APs actually started */
438 * This function starts the AP (application processor) identified
439 * by the APIC ID 'physicalCpu'. It does quite a "song and dance"
440 * to accomplish this. This is necessary because of the nuances
441 * of the different hardware we might encounter. It isn't pretty,
442 * but it seems to work.
445 start_ap(int apic_id)
450 /* calculate the vector */
451 vector = (boot_address >> 12) & 0xff;
453 /* used as a watchpoint to signal AP startup */
456 ipi_startup(apic_id, vector);
458 /* Wait up to 5 seconds for it to start. */
459 for (ms = 0; ms < 5000; ms++) {
461 return 1; /* return SUCCESS */
464 return 0; /* return FAILURE */
468 invltlb_invpcid_handler(void)
470 struct invpcid_descr d;
473 #ifdef COUNT_XINVLTLB_HITS
474 xhits_gbl[PCPU_GET(cpuid)]++;
475 #endif /* COUNT_XINVLTLB_HITS */
477 (*ipi_invltlb_counts[PCPU_GET(cpuid)])++;
478 #endif /* COUNT_IPIS */
480 generation = smp_tlb_generation;
481 d.pcid = smp_tlb_pmap->pm_pcids[PCPU_GET(cpuid)].pm_pcid;
484 invpcid(&d, smp_tlb_pmap == kernel_pmap ? INVPCID_CTXGLOB :
486 PCPU_SET(smp_tlb_done, generation);
490 invltlb_invpcid_pti_handler(void)
492 struct invpcid_descr d;
495 #ifdef COUNT_XINVLTLB_HITS
496 xhits_gbl[PCPU_GET(cpuid)]++;
497 #endif /* COUNT_XINVLTLB_HITS */
499 (*ipi_invltlb_counts[PCPU_GET(cpuid)])++;
500 #endif /* COUNT_IPIS */
502 generation = smp_tlb_generation;
503 d.pcid = smp_tlb_pmap->pm_pcids[PCPU_GET(cpuid)].pm_pcid;
506 if (smp_tlb_pmap == kernel_pmap) {
508 * This invalidation actually needs to clear kernel
509 * mappings from the TLB in the current pmap, but
510 * since we were asked for the flush in the kernel
511 * pmap, achieve it by performing global flush.
513 invpcid(&d, INVPCID_CTXGLOB);
515 invpcid(&d, INVPCID_CTX);
516 d.pcid |= PMAP_PCID_USER_PT;
517 invpcid(&d, INVPCID_CTX);
519 PCPU_SET(smp_tlb_done, generation);
523 invltlb_pcid_handler(void)
526 uint32_t generation, pcid;
528 #ifdef COUNT_XINVLTLB_HITS
529 xhits_gbl[PCPU_GET(cpuid)]++;
530 #endif /* COUNT_XINVLTLB_HITS */
532 (*ipi_invltlb_counts[PCPU_GET(cpuid)])++;
533 #endif /* COUNT_IPIS */
535 generation = smp_tlb_generation; /* Overlap with serialization */
536 if (smp_tlb_pmap == kernel_pmap) {
540 * The current pmap might not be equal to
541 * smp_tlb_pmap. The clearing of the pm_gen in
542 * pmap_invalidate_all() takes care of TLB
543 * invalidation when switching to the pmap on this
546 if (PCPU_GET(curpmap) == smp_tlb_pmap) {
547 pcid = smp_tlb_pmap->pm_pcids[PCPU_GET(cpuid)].pm_pcid;
548 kcr3 = smp_tlb_pmap->pm_cr3 | pcid;
549 ucr3 = smp_tlb_pmap->pm_ucr3;
550 if (ucr3 != PMAP_NO_CR3) {
551 ucr3 |= PMAP_PCID_USER_PT | pcid;
552 pmap_pti_pcid_invalidate(ucr3, kcr3);
557 PCPU_SET(smp_tlb_done, generation);
561 invlpg_invpcid_handler(void)
563 struct invpcid_descr d;
566 #ifdef COUNT_XINVLTLB_HITS
567 xhits_pg[PCPU_GET(cpuid)]++;
568 #endif /* COUNT_XINVLTLB_HITS */
570 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++;
571 #endif /* COUNT_IPIS */
573 generation = smp_tlb_generation; /* Overlap with serialization */
574 invlpg(smp_tlb_addr1);
575 if (smp_tlb_pmap->pm_ucr3 != PMAP_NO_CR3) {
576 d.pcid = smp_tlb_pmap->pm_pcids[PCPU_GET(cpuid)].pm_pcid |
579 d.addr = smp_tlb_addr1;
580 invpcid(&d, INVPCID_ADDR);
582 PCPU_SET(smp_tlb_done, generation);
586 invlpg_pcid_handler(void)
592 #ifdef COUNT_XINVLTLB_HITS
593 xhits_pg[PCPU_GET(cpuid)]++;
594 #endif /* COUNT_XINVLTLB_HITS */
596 (*ipi_invlpg_counts[PCPU_GET(cpuid)])++;
597 #endif /* COUNT_IPIS */
599 generation = smp_tlb_generation; /* Overlap with serialization */
600 invlpg(smp_tlb_addr1);
601 if (smp_tlb_pmap == PCPU_GET(curpmap) &&
602 (ucr3 = smp_tlb_pmap->pm_ucr3) != PMAP_NO_CR3) {
603 pcid = smp_tlb_pmap->pm_pcids[PCPU_GET(cpuid)].pm_pcid;
604 kcr3 = smp_tlb_pmap->pm_cr3 | pcid | CR3_PCID_SAVE;
605 ucr3 |= pcid | PMAP_PCID_USER_PT | CR3_PCID_SAVE;
606 pmap_pti_pcid_invlpg(ucr3, kcr3, smp_tlb_addr1);
608 PCPU_SET(smp_tlb_done, generation);
612 invlrng_invpcid_handler(void)
614 struct invpcid_descr d;
615 vm_offset_t addr, addr2;
618 #ifdef COUNT_XINVLTLB_HITS
619 xhits_rng[PCPU_GET(cpuid)]++;
620 #endif /* COUNT_XINVLTLB_HITS */
622 (*ipi_invlrng_counts[PCPU_GET(cpuid)])++;
623 #endif /* COUNT_IPIS */
625 addr = smp_tlb_addr1;
626 addr2 = smp_tlb_addr2;
627 generation = smp_tlb_generation; /* Overlap with serialization */
631 } while (addr < addr2);
632 if (smp_tlb_pmap->pm_ucr3 != PMAP_NO_CR3) {
633 d.pcid = smp_tlb_pmap->pm_pcids[PCPU_GET(cpuid)].pm_pcid |
636 d.addr = smp_tlb_addr1;
638 invpcid(&d, INVPCID_ADDR);
640 } while (d.addr < addr2);
642 PCPU_SET(smp_tlb_done, generation);
646 invlrng_pcid_handler(void)
648 vm_offset_t addr, addr2;
653 #ifdef COUNT_XINVLTLB_HITS
654 xhits_rng[PCPU_GET(cpuid)]++;
655 #endif /* COUNT_XINVLTLB_HITS */
657 (*ipi_invlrng_counts[PCPU_GET(cpuid)])++;
658 #endif /* COUNT_IPIS */
660 addr = smp_tlb_addr1;
661 addr2 = smp_tlb_addr2;
662 generation = smp_tlb_generation; /* Overlap with serialization */
666 } while (addr < addr2);
667 if (smp_tlb_pmap == PCPU_GET(curpmap) &&
668 (ucr3 = smp_tlb_pmap->pm_ucr3) != PMAP_NO_CR3) {
669 pcid = smp_tlb_pmap->pm_pcids[PCPU_GET(cpuid)].pm_pcid;
670 kcr3 = smp_tlb_pmap->pm_cr3 | pcid | CR3_PCID_SAVE;
671 ucr3 |= pcid | PMAP_PCID_USER_PT | CR3_PCID_SAVE;
672 pmap_pti_pcid_invlrng(ucr3, kcr3, smp_tlb_addr1, addr2);
674 PCPU_SET(smp_tlb_done, generation);