core/kernel_linux/clients/umbra/instrument.c
/* 
 * this function is called after instrumenting shadow memory 
 * update code, it clears all registers that marked as used
 * for memory reference calculation.
 */
this function is called after instrumenting shadow memory
update code, it clears all registers that marked as used
for memory reference calculation.
this function is called after instrumenting shadow memory update code it clears all registers that marked as used for memory reference calculation .
static void 
ilist_info_regs_reset(reg_status_t *regs)
{
    int i;
    for (i = 0; i < NUM_SPILL_REGS; i++) 
        regs[i].used = false;
}
static void ilist_info_regs_reset ( reg_status_t * regs ) { int i ; for ( i = 0 ; i < NUM_SPILL_REGS ; i ++ ) regs [ i ] . used = false ; }
this function is called after instrumenting shadow memory
 update code, it clears all registers that marked as used
 for memory reference calculation.
this function is called after instrumenting shadow memory update code it clears all registers that marked as used for memory reference calculation .