Searched defs:store_domid (Results 1 – 5 of 5) sorted by relevance
33 uint32_t store_domid, unsigned int console_evtchn, in xc_domain_restore()
889 uint32_t store_domid, unsigned int console_evtchn, in xc_domain_restore()
271 domid_t store_domid = strtoul(NEXTARG,0,10); in main() local
735 domid_t store_domid, domid_t console_domid) in hvm_build_set_params()
1369 uint32_t store_domid; member
Completed in 18 milliseconds