Example #1
0
void __taint2_labelset_ram_iter(uint64_t pa, int (*app)(uint32_t el, void *stuff1), void *stuff2) {
    tp_ls_ram_iter(shadow, pa, app, stuff2);
}
Example #2
0
uint32_t __taint_pick_label(uint64_t pa) {
  uint32_t result = ~0;
  tp_ls_ram_iter(shadow, pa, put_int, &result);
  return result;
}