Lines 1669-1682
Link Here
|
1669 |
uint32_t generation; |
1669 |
uint32_t generation; |
1670 |
int cpu; |
1670 |
int cpu; |
1671 |
|
1671 |
|
|
|
1672 |
#ifdef __i386__ |
1673 |
sched_pin(); |
1674 |
#endif |
1675 |
#ifdef __amd64__ |
1676 |
KASSERT(curthread->td_pinned > 0, ("curthread not pinned")); |
1677 |
#endif |
1678 |
|
1672 |
/* |
1679 |
/* |
1673 |
* It is not necessary to signal other CPUs while booting or |
1680 |
* It is not necessary to signal other CPUs while booting or |
1674 |
* when in the debugger. |
1681 |
* when in the debugger. |
1675 |
*/ |
1682 |
*/ |
1676 |
if (kdb_active || panicstr != NULL || !smp_started) |
1683 |
if (kdb_active || panicstr != NULL || !smp_started) |
1677 |
goto local_cb; |
1684 |
goto local_cb; |
1678 |
|
|
|
1679 |
KASSERT(curthread->td_pinned > 0, ("curthread not pinned")); |
1680 |
|
1685 |
|
1681 |
/* |
1686 |
/* |
1682 |
* Check for other cpus. Return if none. |
1687 |
* Check for other cpus. Return if none. |