Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel'
[palacios.git] / kitten / include / arch-x86_64 / proto.h
1 #ifndef _X86_64_PROTO_H
2 #define _X86_64_PROTO_H
3
4 /* misc architecture specific prototypes */
5
6 extern void early_idt_handler(void);
7
8 extern char boot_exception_stacks[];
9
10 extern unsigned long table_start, table_end;
11
12 void init_kernel_pgtables(unsigned long start, unsigned long end);
13
14 extern unsigned long end_pfn_map;
15
16 extern void init_resources(void);
17
18 extern unsigned long ebda_addr, ebda_size;
19
20 extern int unhandled_signal(struct task_struct *tsk, int sig);
21
22 extern void asm_syscall(void);
23 extern void asm_syscall_ignore(void);
24
25 extern unsigned long __phys_addr(unsigned long virt_addr);
26
27 void __init interrupts_init(void);
28
29 extern paddr_t initrd_start, initrd_end;
30
31 #endif