Searched refs:set_kernel_stack (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/i386/kernel/
H A Dvmi.c65 void (*set_kernel_stack)(u32 selector, u32 esp0); member in struct:__anon3499
220 vmi_ops.set_kernel_stack(__KERNEL_DS, tss->x86_tss.esp0);
783 para_wrap(load_esp0, vmi_load_esp0, set_kernel_stack, UpdateKernelStack);

Completed in 99 milliseconds