ia64/xen-unstable

view extras/mini-os/head.S @ 1510:50ebf96e89bf

bitkeeper revision 1.987 (40d595643wZIEtMwb3hHvNEGMAu8gQ)

Fix the getdomaininfo dom0_op.
author kaf24@scramble.cl.cam.ac.uk
date Sun Jun 20 13:47:16 2004 +0000 (2004-06-20)
parents 369b77bc3884
children
line source
1 #include <os.h>
3 .globl _start, shared_info
5 _start:
6 cld
7 lss stack_start,%esp
8 push %esi
9 call start_kernel
11 stack_start:
12 .long stack+8192, __KERNEL_DS
14 /* Unpleasant -- the PTE that maps this page is actually overwritten */
15 /* to map the real shared-info page! :-) */
16 .org 0x1000
17 shared_info:
18 .org 0x2000