Lines Matching defs:Active
72 symbols can cause new (active) redirections to appear for two
95 its tables all active redirections in any way associated with that
111 Active - a set of orig addr -> (bool, redir addr)
113 Active is the currently active set of bindings that the translator
117 Active is a pure function of Specs and the current symbol table
120 Therefore whenever either Specs or SyminfoState changes, Active
124 Active is computed as follows:
126 Active = empty
133 &fn -> redir is added to Active
139 deleted from Active as a result of recomputing it, then all
143 [Active also depends on where the aspacemgr has decided to put all
151 Clearly we must impose the requirement that domain(Active) contains
154 could cause conflicting bindings in Active, eg:
167 all changes to Specs are acceptable. But, when recomputing Active
196 When adding a new active (s,d) to the Actives:
206 - if each active (s,d) deleted, discard (s,1) and (d,1)
270 /*--- CURRENTLY ACTIVE REDIRECTIONS ---*/
273 /* Represents a currently active binding. If either parent_spec or
288 Active;
290 /* The active set is a fast lookup table */
300 static void maybe_add_active ( Active /*by value; callee copies*/ );
308 static void show_active ( HChar* left, Active* act );
370 topspecs list, and (2) figure out what new binding are now active,
508 /* We now need to augment the active set with the following partial
564 Active *old, new;
583 /* Do one element of the basic cross product: add to the active set,
600 Active act;
714 static void maybe_add_active ( Active act )
717 Active* old = NULL;
805 add 'act' to the active set. */
811 Active* a = VG_(OSetGen_AllocNode)(activeSet, sizeof(Active));
825 VG_(message)(Vg_UserMsg, "Adding active redirection:\n");
855 Active* act;
905 of this Active, do paranoid stuff with tt/tc. */
954 Active* r = VG_(OSetGen_Lookup)(activeSet, &orig);
973 /* Add a never-delete-me Active. */
978 Active act;
1046 for amd64-linux a couple of permanent active mappings. The initial
1056 // Initialise active mapping.
1057 activeSet = VG_(OSetGen_Create)(offsetof(Active, from_addr),
1439 static void show_active ( HChar* left, Active* act )
1462 Active* act;
1474 VG_(message)(Vg_DebugMsg, " ------ ACTIVE ------\n");
