pg_cpu_is_bootstrapped
if (pg_cpu_is_bootstrapped(cpu))
if (pg_cpu_is_bootstrapped(cpu))
ASSERT(pg_cpu_is_bootstrapped(cpu));
ASSERT(pg_cpu_is_bootstrapped(cp));
ASSERT(pg_cpu_is_bootstrapped(cp));
ASSERT(pg_cpu_is_bootstrapped(cp));
ASSERT(pg_cpu_is_bootstrapped(cp));
ASSERT(pg_cpu_is_bootstrapped(cp));
if (cpu_pg == NULL || pg_cpu_is_bootstrapped(cp))
ASSERT(pg_cpu_is_bootstrapped(cp));
int pg_cpu_is_bootstrapped(cpu_t *);