Searched refs:IsModuleTag (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | module.h | 42 #define IsModuleTag(mdid, tag) ((tag).kernel == ModuleTag(mdid)) macro
44 (IsLocked(mod) && !IsModuleTag(mod, mod_tag))
56 if (IsLocked(v.did) && (! IsModuleTag(v.did, t))) \
63 } else if (IsLocked(v.did) && (! IsModuleTag(v.did, t))) {\
|
| H A D | property.c | 139 && !IsModuleTag(module, mod_tag))
246 && !IsModuleTag(module, mod_tag))
337 && !IsModuleTag(module, mod_tag))
|
| H A D | bip_module.c | 398 Succeed_If(IsModule(v.did) && (!IsLocked(v.did) || IsModuleTag(v.did, t)));
935 || !IsModuleTag(from_mod.did, tfrom_mod)))
|
| H A D | proc_desc.c | 1349 (!IsModuleTag(module, module_tag) && ((exponly) || IsLocked(module)))
|
| H A D | bip_db.c | 2335 && (proc->module_def != vm.did || !IsModuleTag(vm.did,tm)))
|
Completed in 98 milliseconds