cpu_flag_t
cpu_flagged_online(cpu_flag_t cpu_flags)
cpu_flagged_offline(cpu_flag_t cpu_flags)
cpu_flagged_poweredoff(cpu_flag_t cpu_flags)
cpu_flagged_nointr(cpu_flag_t cpu_flags)
cpu_flagged_active(cpu_flag_t cpu_flags)
cpu_flags_to_state(cpu_flag_t flags)
cpu_get_state_str(cpu_flag_t flags)
int cpu_flagged_online(cpu_flag_t); /* flags show CPU is online */
int cpu_flagged_nointr(cpu_flag_t); /* flags show CPU not handling intrs */
int cpu_flagged_active(cpu_flag_t); /* flags show CPU scheduling threads */
int cpu_flagged_offline(cpu_flag_t); /* flags show CPU is offline */
int cpu_flagged_poweredoff(cpu_flag_t); /* flags show CPU is powered off */
const char *cpu_get_state_str(cpu_flag_t);
volatile cpu_flag_t cpu_flags; /* flags indicating CPU state */
cpu_flag_t sbc_cpu_flags; /* snapshot of CPU flags */
cpu_flag_t sbc_cpu_flags; /* snapshot of CPU flags */
cpu_flag_t sbc_cpu_flags;