Searched refs:vmm_restorectx (Results 1 – 1 of 1) sorted by relevance
316 static void vmm_restorectx(void *);320 .ct_restore = vmm_restorectx,2336 vmm_restorectx(void *arg) in vmm_restorectx() function