Searched refs:xc_kexec_status (Results 1 – 2 of 2) sorted by relevance
130 int xc_kexec_status(xc_interface *xch, int type) in xc_kexec_status() function
2464 int xc_kexec_status(xc_interface *xch, int type);
Completed in 8 milliseconds