Rev 1809 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1809 | Rev 1821 | ||
---|---|---|---|
Line 35... | Line 35... | ||
35 | 35 | ||
36 | #include <mm/tlb.h> |
36 | #include <mm/tlb.h> |
37 | #include <arch/mm/asid.h> |
37 | #include <arch/mm/asid.h> |
38 | #include <arch/asm.h> |
38 | #include <arch/asm.h> |
39 | #include <arch/types.h> |
39 | #include <arch/types.h> |
- | 40 | #include <arch/hypercall.h> |
|
40 | 41 | ||
41 | /** Invalidate all entries in TLB. */ |
42 | /** Invalidate all entries in TLB. */ |
42 | void tlb_invalidate_all(void) |
43 | void tlb_invalidate_all(void) |
43 | { |
44 | { |
44 | write_cr3(read_cr3()); |
45 | mmuext_op_t mmu_ext; |
- | 46 | ||
- | 47 | mmu_ext.cmd = MMUEXT_TLB_FLUSH_LOCAL; |
|
- | 48 | xen_mmuext_op(&mmu_ext, 1, NULL, DOMID_SELF); |
|
45 | } |
49 | } |
46 | 50 | ||
47 | /** Invalidate all entries in TLB that belong to specified address space. |
51 | /** Invalidate all entries in TLB that belong to specified address space. |
48 | * |
52 | * |
49 | * @param asid This parameter is ignored as the architecture doesn't support it. |
53 | * @param asid This parameter is ignored as the architecture doesn't support it. |