Searched refs:CPU_IDLE_CTX2CPUID (Results 1 – 1 of 1) sorted by relevance
100 #define CPU_IDLE_CTX2CPUID(ctx) ((processorid_t)(intptr_t)(ctx)) macro1011 ASSERT(CPU_IDLE_CTX2CPUID(ctx) < max_ncpus); in cpu_idle_prop_get_value()1041 ASSERT(CPU_IDLE_CTX2CPUID(ctx) < max_ncpus); in cpu_idle_prop_get_uint32()1054 ASSERT(CPU_IDLE_CTX2CPUID(ctx) < max_ncpus); in cpu_idle_prop_get_uint64()1067 ASSERT(CPU_IDLE_CTX2CPUID(ctx) < max_ncpus); in cpu_idle_prop_get_intptr()1080 ASSERT(CPU_IDLE_CTX2CPUID(ctx) < max_ncpus); in cpu_idle_prop_get_hrtime()1093 ASSERT(CPU_IDLE_CTX2CPUID(ctx) < max_ncpus); in cpu_idle_prop_set_value()