Searched defs:restart (Results 1 – 4 of 4) sorted by relevance
26 restart: bool; RecordField
56 restart: unit -> unit; RecordField
53 int restart; member
397 domain_restart_type restart = DOMAIN_RESTART_NONE; in handle_domain_death() local
Completed in 13 milliseconds