IS_BSP
if (IS_BSP())
if (IS_BSP())
if (IS_BSP() && (cpu_stdext_feature4 & CPUID_STDEXT4_LASS) != 0 &&
if (IS_BSP()) {
if (IS_BSP() && cold)
if (IS_BSP() && (amd_feature & AMDID_NX) != 0) {
if (!IS_BSP())
KASSERT(IS_BSP() || c != EARLY_COUNTER, ("EARLY_COUNTER used on AP"));
if (IS_BSP() && boot)
while (__predict_false(!IS_BSP() && KERNEL_PANICKED()))
if (xen_evtchn_needs_ack && !IS_BSP()) {