* Please see the COPYING-GPL-2 file for details.
*/
#include <l4/sys/compiler.h>
-#define JH
-#ifdef JH
+#ifdef JAILHOUSE
#include "inmate.h"
#define X86_CR0_PE 0x00000001
or $X86_CR0_PE,%al
mov %eax,%cr0
- ljmpl $INMATE_CS32,$_start + FSEGMENT_BASE
+ ljmpl $INMATE_CS32,$_start
.code32