Searched refs:hv_restart (Results 1 – 4 of 4) sorted by relevance
46 hv_restart((HV_VirtAddr) "vmlinux", (HV_VirtAddr) cmd); in machine_restart()
24 gensym hv_restart, 0x120, 32
28 #define hv_restart _hv_restart macro88 #undef hv_restart217 HV_WRAP2(void, hv_restart, HV_VirtAddr, cmd, HV_VirtAddr, args)
903 void hv_restart(HV_VirtAddr cmd, HV_VirtAddr args);