+PUBLIC @HalpExitToV86@4
+@HalpExitToV86@4:
+ /* Point esp to the iret frame and return */
+ lea esp, [ecx + KTRAP_FRAME_EIP]
+ iret
+
+/* Here starts the real mode code */
+.code16
+PUBLIC _HalpRealModeStart
+_HalpRealModeStart:
+ /* INT 0x10: AH = 0 (Set video Mode), AL = 0x12 (Mode 12) */
+ mov eax, HEX(12)
+ int HEX(10)
+
+ /* BOP */
+ .byte HEX(C4), HEX(C4)
+
+/* The real mode stack */
+.align 4
+.space 2048
+_HalpRealModeEnd:
+PUBLIC _HalpRealModeEnd