Rev 1817 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1817 | Rev 1821 | ||
---|---|---|---|
Line 40... | Line 40... | ||
40 | #include <arch/types.h> |
40 | #include <arch/types.h> |
41 | #include <config.h> |
41 | #include <config.h> |
42 | 42 | ||
43 | extern uint32_t interrupt_handler_size; |
43 | extern uint32_t interrupt_handler_size; |
44 | 44 | ||
45 | extern void paging_on(void); |
- | |
46 | - | ||
47 | extern void interrupt_handlers(void); |
45 | extern void interrupt_handlers(void); |
48 | 46 | ||
49 | extern void enable_l_apic_in_msr(void); |
47 | extern void enable_l_apic_in_msr(void); |
50 | 48 | ||
51 | 49 | ||
Line 72... | Line 70... | ||
72 | __asm__ volatile ("movl %0, %%" #reg : : "r" (regn)); \ |
70 | __asm__ volatile ("movl %0, %%" #reg : : "r" (regn)); \ |
73 | } |
71 | } |
74 | 72 | ||
75 | GEN_READ_REG(cr0); |
73 | GEN_READ_REG(cr0); |
76 | GEN_READ_REG(cr2); |
74 | GEN_READ_REG(cr2); |
77 | GEN_READ_REG(cr3); |
- | |
78 | GEN_WRITE_REG(cr3); |
- | |
79 | 75 | ||
80 | GEN_READ_REG(dr0); |
76 | GEN_READ_REG(dr0); |
81 | GEN_READ_REG(dr1); |
77 | GEN_READ_REG(dr1); |
82 | GEN_READ_REG(dr2); |
78 | GEN_READ_REG(dr2); |
83 | GEN_READ_REG(dr3); |
79 | GEN_READ_REG(dr3); |