/* Copyright (c) 2016 Google Inc.
 * Barret Rhoden <brho@cs.berkeley.edu>
 * See LICENSE for details.
 *
 * Vcore entry point from the kernel.  We need this in asm to fix our stack
 * pointer offset.  The kernel will start us with a 16-byte aligned stack.  C
 * code expects to be odd-8-byte aligned.  The 'call' will push a retaddr on the
 * stack, which is the 8 bytes we need. */

.globl __kernel_vcore_entry
__kernel_vcore_entry:
	call __kvc_entry_c@PLT
1:
	jmp 1b