Searched defs:NSRV_FREE_BDOMAIN_ID (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Pds/src/
H A Dnsrv_int.h150 #define NSRV_FREE_BDOMAIN_ID 12 macro

Completed in 34 milliseconds