Searched refs:finiarg (Results 1 – 1 of 1) sorted by relevance
413 void *finiarg; in cpu_reboot() local418 finiarg = RUMP_SPVM2CTL(curproc->p_vmspace); in cpu_reboot()420 finiarg = NULL; in cpu_reboot()438 rump_sysproxy_fini(finiarg); in cpu_reboot()446 rump_sysproxy_fini(finiarg); in cpu_reboot()