| /kernel/trunk/arch/ia32/include/interrupt.h |
|---|
| 59,7 → 59,6 |
| #define VECTOR_SYSCALL (IVT_FREEBASE+0) |
| #define VECTOR_TLB_SHOOTDOWN_IPI (IVT_FREEBASE+1) |
| #define VECTOR_WAKEUP_IPI (IVT_FREEBASE+2) |
| extern void (* disable_irqs_function)(__u16 irqmask); |
| extern void (* enable_irqs_function)(__u16 irqmask); |
| 72,7 → 71,6 |
| extern void page_fault(int n, void *stack); |
| extern void syscall(int n, void *stack); |
| extern void tlb_shootdown_ipi(int n, void *stack); |
| extern void wakeup_ipi(int n, void *stack); |
| extern void trap_virtual_enable_irqs(__u16 irqmask); |
| extern void trap_virtual_disable_irqs(__u16 irqmask); |
| /kernel/trunk/arch/ia32/include/mm/page.h |
|---|
| 85,7 → 85,8 |
| unsigned page_cache_disable : 1; |
| unsigned accessed : 1; |
| unsigned dirty : 1; |
| unsigned : 2; |
| unsigned pat : 1; |
| unsigned global : 1; |
| unsigned avl : 3; |
| unsigned frame_address : 20; |
| } __attribute__ ((packed)); |
| 100,7 → 101,8 |
| p->uaccessible<<PAGE_USER_SHIFT | |
| 1<<PAGE_READ_SHIFT | |
| p->writeable<<PAGE_WRITE_SHIFT | |
| 1<<PAGE_EXEC_SHIFT |
| 1<<PAGE_EXEC_SHIFT | |
| p->global<<PAGE_GLOBAL_SHIFT |
| ); |
| } |
| 112,6 → 114,7 |
| p->present = !(flags & PAGE_NOT_PRESENT); |
| p->uaccessible = (flags & PAGE_USER) != 0; |
| p->writeable = (flags & PAGE_WRITE) != 0; |
| p->global = (flags & PAGE_GLOBAL) != 0; |
| } |
| extern void page_arch_init(void); |