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.


modified copyright tags
[palacios.git] / palacios / src / palacios / vmm_lowlevel.asm
1 ; -*- fundamental -*-
2
3 ;; (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
4 ;; (c) 2008, The V3VEE Project <http://www.v3vee.org>
5
6
7 %ifndef VMM_ASM
8 %define VMM_ASM
9
10 %include "vmm_symbol.asm"
11
12 EXPORT DisableInts
13 EXPORT EnableInts
14
15 EXPORT GetGDTR
16 EXPORT GetIDTR
17 EXPORT GetTR
18
19
20
21
22
23
24 align 8
25 DisableInts:
26         cli
27         ret
28
29
30 align 8
31 EnableInts:
32         sti
33         ret
34
35 align 8
36 GetGDTR:
37         push    ebp
38         mov     ebp, esp
39         pusha   
40         mov     ebx, [ebp + 8]
41         sgdt    [ebx]
42         
43         popa
44         pop     ebp
45         ret
46
47
48 align 8
49 GetIDTR:
50         push    ebp
51         mov     ebp, esp
52         pusha   
53
54         mov     ebx, [ebp + 8]
55         sidt    [ebx]
56         
57         popa
58         pop     ebp
59         ret
60
61
62
63 align 8
64 GetTR:
65         push    ebp
66         mov     ebp, esp
67         pusha   
68         mov     ebx, [ebp + 8]
69         str     [ebx]
70         
71         popa
72         pop     ebp
73         ret
74
75
76
77
78
79
80
81 %endif