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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dsch_util.c60 #define SCHSET_MAX2PUBLISH 0x00100000 /* max_to_publish */ macro
106 instruction |= SCHSET_MAX2PUBLISH;
589 if (instruction&SCHSET_MAX2PUBLISH)

Completed in 30 milliseconds