Searched refs:DOMAIN_SIZE (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ | ||
| H A D | bip_mps.c | 96 #define DOMAIN_SIZE 0x800000 /* 8 MByte */ macro 409 domain.bdomain_size = DOMAIN_SIZE; 414 (shared_mem_base() + DOMAIN_SIZE); |
Completed in 77 milliseconds