Searched refs:doms (Results 1 – 6 of 6) sorted by relevance
54 let del doms id = Hashtbl.remove doms.table id55 let exist doms id = Hashtbl.mem doms.table id56 let find doms id = Hashtbl.find doms.table id57 let number doms = Hashtbl.length doms.table58 let iter doms fct = Hashtbl.iter (fun _ b -> fct b) doms.table109 ) doms.table;179 doms.n_paused <- doms.n_paused + 1;180 if doms.n_paused = 1 then doms.on_first_conflict_pause ()215 then doms.n_paused <- doms.n_paused - 1;219 then doms.n_penalised <- doms.n_penalised - 1[all …]
206 let reply_ack fct con t doms cons data =207 fct con t doms cons data;213 let reply_data fct con t doms cons data =214 let ret = fct con t doms cons data in218 match fct con t doms cons data with222 let reply_none fct con t doms cons data =224 fct con t doms cons data256 fct con t doms cons req.Packet.data295 let transaction_replay c t doms cons =563 let do_input store cons doms con =[all …]
179 let from_channel store cons doms chan =186 Domains.create doms domid mfn port188 Domains.create0 doms202 let from_file store cons doms file =204 finally (fun () -> from_channel store doms cons channel)
321 let decr_conflict_credit doms con =324 | Some dom -> Domains.decr_conflict_credit doms dom
832 static void print_uptime(int short_mode, uint32_t doms[], int nb_doms) in print_uptime() argument857 if (doms[i] == 0) in print_uptime()860 print_domU_uptime(doms[i], short_mode, now); in print_uptime()
299 doms = []313 doms.append(dom)589 doms = []
Completed in 57 milliseconds