Searched refs:MAX_COREID (Results 1 - 21 of 21) sorted by relevance

/barrelfish-master/usr/monitor/
H A Dintermon_bindings.c18 static struct intermon_state *bindings[MAX_COREID + 1];
24 if (st->core_id > MAX_COREID) {
41 if (coreid > MAX_COREID) {
H A Dtiming.c115 for(int i = 0; i <= MAX_COREID; i++) {
H A Dtrace_support.c205 if (next_core == MAX_COREID) {
222 assert(next_core <= MAX_COREID);
H A Dinter.c32 notification_sent = calloc(MAX_COREID*MAX_COREID, sizeof(bool));
41 for (int i = 0; i < MAX_COREID; i++) {
48 if (err_is_ok(err) && !notification_sent[min*MAX_COREID+max] && monitor_ready[i]) {
52 notification_sent[min*MAX_COREID+max] = true;
141 monitor_ready = calloc(MAX_COREID, sizeof(bool));
/barrelfish-master/kernel/include/arch/armv8/
H A Dglobal.h34 genpaddr_t notify[MAX_COREID];
/barrelfish-master/kernel/include/arch/x86/
H A Dglobal.h38 genpaddr_t notify[MAX_COREID];
/barrelfish-master/kernel/include/arch/aarch64/
H A Dglobal.h34 genpaddr_t notify[MAX_COREID];
/barrelfish-master/usr/monitor/capops/
H A Dinternal.c23 for (coreid_t c = 0; c < MAX_COREID; c++) {
H A Dcapsend.c187 for (coreid_t dest = 0; dest < MAX_COREID && bc_st->num_queued < dest_count; dest++)
/barrelfish-master/lib/barrelfish/
H A Dcoreset.c27 #define CORESET_WORDS DIVIDE_ROUND_UP(MAX_COREID, CORESET_BITS_PER_WORD)
46 for (int i = 0; i < MAX_COREID; i++) {
76 for (int i = 0; i < MAX_COREID; i++) {
125 assert(id < MAX_COREID);
142 assert(id < MAX_COREID);
159 assert(id < MAX_COREID);
194 for (i = 0; i < MAX_COREID; i++) {
223 for (int i = 0; i < MAX_COREID; i++) {
/barrelfish-master/include/barrelfish/
H A Dtypes.h63 STATIC_ASSERT(MAX_CPUS == MAX_COREID, "MAX_CPUS != MAX_COREID")
65 #define MAX_CPUS MAX_COREID
81 #define _COREMASK_WORDS DIVIDE_ROUND_UP(MAX_COREID, _COREMASK_BITS_PER_WORD)
/barrelfish-master/kernel/arch/x86/
H A Dipi_notify.c34 static char my_notify_page[NOTIFY_FIFO_BYTES * MAX_COREID];
37 static uint64_t notifyhead[MAX_COREID];
38 static uint64_t notifytail[MAX_COREID];
80 for(coreid_t srccore = 0; srccore < MAX_COREID; srccore++) {
112 if (notify_page == NULL || coreid >= MAX_COREID) {
/barrelfish-master/include/barrelfish_kpi/
H A Dtypes.h91 #ifndef MAX_COREID
92 #define MAX_COREID 254 // limit of coreid_t type (see comment above) macro
/barrelfish-master/usr/proc_mgmt/
H A Ddomain.h46 struct spawnd_state *spawnds[MAX_COREID]; // Spawnds running this domain.
H A Dspawnd_state.c16 static struct spawnd_state *spawnds[MAX_COREID];
H A Ddomain.c200 assert(core_id < MAX_COREID);
H A Dservice.c174 for (coreid_t i = 0; i < MAX_COREID; ++i) {
555 for (coreid_t i = 0; i < MAX_COREID; ++i) {
/barrelfish-master/usr/drivers/cpuboot/
H A Dmain.c212 assert(target_id < MAX_COREID);
261 assert(target_id < MAX_COREID);
314 assert(target_id < MAX_COREID);
345 assert(target_id < MAX_COREID);
353 assert(destination_id < MAX_COREID);
376 assert(target_id < MAX_COREID);
398 //assert(destination_id < MAX_COREID);
/barrelfish-master/usr/tests/posixcompat/
H A Dpthreads.c27 #define MAX_COREID 1024 macro
161 static bool is_spanned[MAX_COREID] = { false };
/barrelfish-master/lib/numa/
H A Dutilities.c131 if (core >= MAX_COREID || node >= NUMA_MAX_NUMNODES) {
/barrelfish-master/lib/posixcompat/
H A Dpthreads.c128 for (size_t i = 0; i < MAX_COREID; i++) {

Completed in 454 milliseconds