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

/barrelfish-master/usr/eclipseclp/Pds/src/
H A Dbmsg.msg.h80 #define BPORT_NOTIFICATION 0x02 macro
H A Dbmsg.msg.c6129 if (option & BPORT_NOTIFICATION) bport_notification = 1;
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dworker.c1126 BPORT_NOTIFICATION), __LINE__, 1);
1150 BPORT_NOTIFICATION),__LINE__, 1);
1164 BPORT_NOTIFICATION), __LINE__, 1);
H A Dwm.c1983 BPORT_NOTIFICATION ),__LINE__, 1);
1987 check_bmsg(bmsg_init(wm_bport_id,&bdomain, BPORT_NOTIFICATION),__LINE__,1);

Completed in 176 milliseconds