]>
Commit | Line | Data |
---|---|---|
1 | /* | |
2 | * Copyright (c) 2000-2010 Apple Inc. All rights reserved. | |
3 | * | |
4 | * @APPLE_OSREFERENCE_LICENSE_HEADER_START@ | |
5 | * | |
6 | * This file contains Original Code and/or Modifications of Original Code | |
7 | * as defined in and that are subject to the Apple Public Source License | |
8 | * Version 2.0 (the 'License'). You may not use this file except in | |
9 | * compliance with the License. The rights granted to you under the License | |
10 | * may not be used to create, or enable the creation or redistribution of, | |
11 | * unlawful or unlicensed copies of an Apple operating system, or to | |
12 | * circumvent, violate, or enable the circumvention or violation of, any | |
13 | * terms of an Apple operating system software license agreement. | |
14 | * | |
15 | * Please obtain a copy of the License at | |
16 | * http://www.opensource.apple.com/apsl/ and read it before using this file. | |
17 | * | |
18 | * The Original Code and all software distributed under the License are | |
19 | * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER | |
20 | * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES, | |
21 | * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY, | |
22 | * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT. | |
23 | * Please see the License for the specific language governing rights and | |
24 | * limitations under the License. | |
25 | * | |
26 | * @APPLE_OSREFERENCE_LICENSE_HEADER_END@ | |
27 | */ | |
28 | ||
29 | #ifndef _PMAP_PCID_ | |
30 | #define _PMAP_PCID_ 1 | |
31 | #if defined(__x86_64__) | |
32 | void pmap_pcid_initialize(pmap_t); | |
33 | void pmap_pcid_initialize_kernel(pmap_t); | |
34 | pcid_t pmap_pcid_allocate_pcid(int); | |
35 | void pmap_pcid_deallocate_pcid(int, pmap_t); | |
36 | void pmap_destroy_pcid_sync_action(void *); | |
37 | void pmap_destroy_pcid_sync(pmap_t); | |
38 | void pmap_pcid_lazy_flush(pmap_t); | |
39 | void pmap_pcid_activate(pmap_t, int); | |
40 | pcid_t pcid_for_pmap_cpu_tuple(pmap_t, int); | |
41 | ||
42 | #define PMAP_INVALID ((pmap_t)0xDEAD7347) | |
43 | #define PMAP_PCID_INVALID_PCID (0xDEAD) | |
44 | #define PMAP_PCID_MAX_REFCOUNT (0xF0) | |
45 | #define PMAP_PCID_MIN_PCID (1) | |
46 | ||
47 | extern uint32_t pmap_pcid_ncpus; | |
48 | ||
49 | static inline void | |
50 | tlb_flush_global(void) { | |
51 | uintptr_t cr4 = get_cr4(); | |
52 | pmap_assert(ml_get_interrupts_enabled() == FALSE || get_preemption_level() !=0); | |
53 | pmap_assert2(((cr4 & CR4_PGE) || ml_at_interrupt_context()), "CR4: 0x%lx", cr4); | |
54 | /* | |
55 | * We are, unfortunately, forced to rely on this expensive | |
56 | * read-modify-write-write scheme due to the inadequate | |
57 | * TLB invalidation ISA. The read is necessary as | |
58 | * the kernel does not "own" the contents of CR4, the VMX | |
59 | * feature in particular. It may be possible to | |
60 | * avoid a global flush and instead track a generation | |
61 | * count of kernel invalidations, but that scheme | |
62 | * has its disadvantages as well. | |
63 | */ | |
64 | set_cr4(cr4 & ~CR4_PGE); | |
65 | set_cr4(cr4 | CR4_PGE); | |
66 | return; | |
67 | } | |
68 | ||
69 | static inline void pmap_pcid_invalidate_all_cpus(pmap_t tpmap) { | |
70 | unsigned i; | |
71 | ||
72 | pmap_assert((sizeof(tpmap->pmap_pcid_coherency_vector) >= real_ncpus) && (!(sizeof(tpmap->pmap_pcid_coherency_vector) & 7))); | |
73 | ||
74 | for (i = 0; i < real_ncpus; i+=8) { | |
75 | *(uint64_t *)(uintptr_t)&tpmap->pmap_pcid_coherency_vector[i] = (~0ULL); | |
76 | } | |
77 | } | |
78 | ||
79 | static inline void pmap_pcid_validate_current(void) { | |
80 | int ccpu = cpu_number(); | |
81 | volatile uint8_t *cptr = cpu_datap(ccpu)->cpu_pmap_pcid_coherentp; | |
82 | #ifdef PMAP_MODULE | |
83 | pmap_assert(cptr == &(current_thread()->map->pmap->pmap_pcid_coherency_vector[ccpu])); | |
84 | #endif | |
85 | if (cptr) { | |
86 | *cptr = 0; | |
87 | } | |
88 | ||
89 | } | |
90 | ||
91 | static inline void pmap_pcid_invalidate_cpu(pmap_t tpmap, int ccpu) { | |
92 | tpmap->pmap_pcid_coherency_vector[ccpu] = 0xFF; | |
93 | } | |
94 | ||
95 | static inline void pmap_pcid_validate_cpu(pmap_t tpmap, int ccpu) { | |
96 | tpmap->pmap_pcid_coherency_vector[ccpu] = 0; | |
97 | } | |
98 | #endif /* x86_64 */ | |
99 | #endif |