Searched refs:garbage (Results 1 – 6 of 6) sorted by relevance
19 type 'a record = { data: 'a; mutable garbage: bool } RecordField35 let new_record v = { data=v; garbage=false }54 Hashtbl.iter (fun _ v -> v.garbage <- true) int_string_tbl58 record1.garbage <- false60 let garbage () = function62 if record.garbage then (symb, record.data) :: accu else accu
34 (** Symbols need to be regulary garbage collected. The following steps should be followed:37 - finally, call [garbage] *)41 val garbage : unit -> unit val
388 (* we garbage collect the string->int dictionary after a sizeable amount of operations,398 Symbol.garbage ()
130 dcache->inuse[i] &= ~xchg(&dcache->garbage[i], 0); in map_domain_page()216 set_bit(hashent->idx, dcache->garbage); in unmap_domain_page()228 set_bit(idx, dcache->garbage); in unmap_domain_page()251 dcache->garbage = dcache->inuse + in mapcache_domain_init()283 rc = create_perdomain_mapping(d, (unsigned long)dcache->garbage, in mapcache_vcpu_init()
69 unsigned long *garbage; member
1868 + * can contain garbage, so the caller is responsible for this to be
Completed in 15 milliseconds