/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | external.h | 48 * Get_Visible_Array_Address(adid, module,mod_tag,address) 50 * Get_Visible_Array_Header(adid, module, mod_tag,address) 54 * Prolog_Call(goal_val, goal_tag, mod_val, mod_tag) 55 * Prolog_Call_Nobind(goal_val, goal_tag, mod_val, mod_tag) 114 #define Get_Visible_Array_Address(adid, module, mod_tag, address) \ 115 Get_Visible_Array_Header(adid, module, mod_tag, address) \ 129 #define Get_Visible_Array_Header(adid, module, mod_tag, address) \ 132 address = get_visible_array_header(adid, module, mod_tag, &res);\ 159 #define Prolog_Call(goal_val, goal_tag, mod_val, mod_tag) \ 160 sub_emulc(goal_val, goal_tag, mod_val, mod_tag) [all...] |
H A D | operator.c | 69 #define OperatorItem(did, mod, mod_tag, vis, prop, perr) \ 70 get_modular_property(did, prop, mod, mod_tag, vis, perr) 71 #define NewOperatorItem(did, mod, mod_tag, vis, prop, perr) \ 72 set_modular_property(did, prop, mod, mod_tag, vis, perr) 80 _insert_op(int scope, word preced, word assoc, dident oper, dident module, type mod_tag), 81 _erase_op(dident oper, word assoc, int scope, dident module, type mod_tag), 89 static opi *_visible_anyfix_op(int fixity, dident atom, dident module, type mod_tag, int *res); 152 _visible_anyfix_op(int fixity, dident atom, dident module, type mod_tag, int *res) argument 165 operator_prop = OperatorItem(atom, module, mod_tag, 192 visible_operator(dident atom, dident module, type mod_tag) argument 212 visible_prefix_op(dident atom, dident module, type mod_tag, int *res) argument 230 visible_infix_op(dident atom, dident module, type mod_tag, int *res) argument 248 visible_postfix_op(dident atom, dident module, type mod_tag, int *res) argument 270 visible_op(dident functor, dident module, type mod_tag, int *res) argument 314 is_visible_op(dident atom, dident module, type mod_tag) argument 459 _insert_op(int scope, word preced, word assoc, dident oper, dident module, type mod_tag) argument 556 _erase_op(dident oper, word assoc, int scope, dident module, type mod_tag) argument [all...] |
H A D | module.h | 43 #define UnauthorizedAccess(mod, mod_tag) \ 44 (IsLocked(mod) && !IsModuleTag(mod, mod_tag))
|
H A D | write.c | 103 &idwrite, val, tag, module, mod_tag); \ 142 _print_var(int idwrite, value v, type t, stream_id str, int depth, dident module, type mod_tag, syntax_desc *sd), 143 _pwrite1(int idwrite, stream_id out, value val, type tag, int maxprec, int depth, dident module, type mod_tag, syntax_desc *sd, register int flags), 145 _write_args_from_list(int idwrite, stream_id out, pword *list, int depth, dident module, type mod_tag, syntax_desc *sd, int flags), 147 _write_infix(int idwrite, stream_id out, dident d, register int flags, dident module, type mod_tag, syntax_desc *sd, pword *right, int depth), 148 _write_atom(int idwrite, stream_id out, dident d, int what, int flag, dident module, type mod_tag, syntax_desc *sd, int depth), 150 _portray_term(int idwrite, stream_id out, value val, type tag, dident module, type mod_tag); 154 static pword *_write_trafo(dident d, int flags, int *idwrite, value val, type tag, dident module, type mod_tag); 557 ec_pwrite(int mode_clr, int mode_set, stream_id out, value val, type tag, int maxprec, int depth, dident module, type mod_tag) argument 605 if (UnauthorizedAccess(module, mod_tag)) 696 _pwrite1(int idwrite, stream_id out, value val, type tag, int maxprec, int depth, dident module, type mod_tag, syntax_desc *sd, register int flags) argument 1250 _write_args_from_list(int idwrite, stream_id out, pword *list, int depth, dident module, type mod_tag, syntax_desc *sd, int flags) argument 1280 _write_trafo(dident d, int flags, int *idwrite, value val, type tag, dident module, type mod_tag) argument 1330 _portray_term(int idwrite, stream_id out, value val, type tag, dident module, type mod_tag) argument 1377 _write_infix(int idwrite, stream_id out, dident d, register int flags, dident module, type mod_tag, syntax_desc *sd, pword *right, int depth) argument 1443 _write_atom(int idwrite, stream_id out, dident d, int what, int flag, dident module, type mod_tag, syntax_desc *sd, int depth) argument 1644 _print_var(int idwrite, value v, type t, stream_id str, int depth, dident module, type mod_tag, syntax_desc *sd) argument [all...] |
H A D | property.h | 85 #define GetPointerToRecord(functor, mod, mod_tag, perr) \ 86 get_modular_property(functor, IDB_PROP, mod, mod_tag, VISIBLE_PROP, perr)
|
H A D | property.c | 133 set_modular_property(dident functor, int property_name, dident module, type mod_tag, int flag, int *err_ref) argument 139 && !IsModuleTag(module, mod_tag)) 241 get_modular_property(dident functor, int property_name, dident module, type mod_tag, int which, int *res) argument 246 && !IsModuleTag(module, mod_tag)) 330 erase_modular_property(dident functor, int property_name, dident module, type mod_tag, int which) argument 337 && !IsModuleTag(module, mod_tag))
|
H A D | bip_array.c | 87 #define NewArrayItem(did, mod, mod_tag, vis, perr)\ 88 set_modular_property(did, ARRAY_PROP, mod, mod_tag, vis, perr) 90 #define NewGlobVarItem(did, mod, mod_tag, scope, perr)\ 91 set_modular_property(did, GLOBVAR_PROP, mod, mod_tag, scope, perr) 93 #define VisibleAV(did, prop, mod, mod_tag, perr)\ 94 get_modular_property(did, prop, mod, mod_tag, VISIBLE_PROP, perr) 96 #define EraseAV(did, prop, mod, mod_tag, vis)\ 97 erase_modular_property(did, prop, mod, mod_tag, vis) 878 get_elt_address(value v, type t, uword *kind, dident mod_did, type mod_tag, int *perr) 910 if (!(pw = VisibleAV(arraydid, ARRAY_PROP, mod_did, mod_tag, per 877 get_elt_address(value v, type t, uword *kind, dident mod_did, type mod_tag, int *perr) argument 945 get_first_elt(pword *p, pword *q, uword *kind, uword *size, dident vmod_did, type mod_tag) argument [all...] |
H A D | dict.h | 609 Extern opi * visible_op ARGS((dident atom, dident module, type mod_tag, int *res)); 610 Extern opi * visible_prefix_op ARGS((dident atom, dident module, type mod_tag, int *res)); 611 Extern opi * visible_infix_op ARGS((dident atom, dident module, type mod_tag, int *res)); 612 Extern opi * visible_postfix_op ARGS((dident atom, dident module, type mod_tag, int *res));
|
H A D | proc_desc.c | 380 type mod_tag) 393 tg++->tag.all = mod_tag.all; 395 tg++->tag.all = mod_tag.all; 1110 check_def_use_module_interface(dident mod, type mod_tag) 377 _report_error(int err, dident arg1, dident module, type mod_tag) argument
|
H A D | handlers.c | 866 _kernel_ref_export_proc(dident pdid, dident mod, type mod_tag) argument 868 pri *pd = visible_procedure(pdid, mod, mod_tag, 0); 873 pd = export_procedure(pdid, mod, mod_tag);
|
H A D | read.c | 279 *_alloc_parse_env(int caller, stream_id nst, dident module, type mod_tag); 1812 _alloc_parse_env(int options, stream_id nst, dident module, type mod_tag) argument 1840 pd->module_tag = mod_tag;
|
/barrelfish-2018-10-04/tools/fastmodels/ |
H A D | test_mkmb.c | 117 struct multiboot_tag_module_64 *mod_tag= local 120 (uint64_t)mod_tag->mod_start, 121 (uint64_t)mod_tag->mod_end); 122 printf("Command line: \"%s\"\n", mod_tag->cmdline); 124 void *elf_data= mb_data + (mod_tag->mod_start - load_addr); 125 size_t elf_size= mod_tag->mod_end - mod_tag->mod_start + 1;
|