Searched refs:guest_syscall_stack_top (Results 1 – 1 of 1) sorted by relevance
45 u64 guest_stack_top, guest_syscall_stack_top; variable1176 vmcs_write(GUEST_SYSENTER_ESP, guest_syscall_stack_top); in init_vmcs_guest()1323 guest_syscall_stack_top = (uintptr_t)alloc_page() + PAGE_SIZE; in alloc_bsp_vmx_pages()