Searched refs:finiarg (Results 1 – 1 of 1) sorted by relevance
310 void *finiarg; in cpu_reboot() local315 finiarg = RUMP_SPVM2CTL(curproc->p_vmspace); in cpu_reboot()317 finiarg = NULL; in cpu_reboot()335 rump_sysproxy_fini(finiarg); in cpu_reboot()343 rump_sysproxy_fini(finiarg); in cpu_reboot()