Searched refs:doms (Results 1 – 6 of 6) sorted by relevance
52 let del doms id = Hashtbl.remove doms.table id53 let exist doms id = Hashtbl.mem doms.table id54 let find doms id = Hashtbl.find doms.table id55 let number doms = Hashtbl.length doms.table56 let iter doms fct = Hashtbl.iter (fun _ b -> fct b) doms.table107 ) doms.table;177 doms.n_paused <- doms.n_paused + 1;178 if doms.n_paused = 1 then doms.on_first_conflict_pause ()213 then doms.n_paused <- doms.n_paused - 1;217 then doms.n_penalised <- doms.n_penalised - 1[all …]
202 let reply_ack fct con t doms cons data =203 fct con t doms cons data;209 let reply_data fct con t doms cons data =210 let ret = fct con t doms cons data in214 match fct con t doms cons data with218 let reply_none fct con t doms cons data =220 fct con t doms cons data252 fct con t doms cons req.Packet.data291 let transaction_replay c t doms cons =540 let do_input store cons doms con =[all …]
177 let from_channel store cons doms chan =185 Domains.create xc doms domid mfn port187 Domains.create0 doms202 let from_file store cons doms file =204 finally (fun () -> from_channel store doms cons channel)
297 let decr_conflict_credit doms con =300 | Some dom -> Domains.decr_conflict_credit doms dom
297 doms = []311 doms.append(dom)587 doms = []
826 static void print_uptime(int short_mode, uint32_t doms[], int nb_doms) in print_uptime() argument851 if (doms[i] == 0) in print_uptime()854 print_domU_uptime(doms[i], short_mode, now); in print_uptime()
Completed in 15 milliseconds