]>
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, boolean_t, boolean_t); | |
40 | pcid_t pcid_for_pmap_cpu_tuple(pmap_t, thread_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 | pmap_pcid_invalidate_all_cpus(pmap_t tpmap) | |
51 | { | |
52 | unsigned i; | |
53 | ||
54 | pmap_assert((sizeof(tpmap->pmap_pcid_coherency_vector) >= real_ncpus) && (!(sizeof(tpmap->pmap_pcid_coherency_vector) & 7))); | |
55 | ||
56 | for (i = 0; i < real_ncpus; i += 8) { | |
57 | *(uint64_t *)(uintptr_t)&tpmap->pmap_pcid_coherency_vector[i] = (~0ULL); | |
58 | } | |
59 | } | |
60 | ||
61 | static inline void | |
62 | pmap_pcid_validate_current(void) | |
63 | { | |
64 | int ccpu = cpu_number(); | |
65 | volatile uint8_t *cptr = cpu_datap(ccpu)->cpu_pmap_pcid_coherentp; | |
66 | #ifdef PMAP_MODULE | |
67 | pmap_assert(cptr == &(current_thread()->map->pmap->pmap_pcid_coherency_vector[ccpu])); | |
68 | #endif | |
69 | if (cptr) { | |
70 | *cptr = 0; | |
71 | } | |
72 | } | |
73 | ||
74 | static inline void | |
75 | pmap_pcid_invalidate_cpu(pmap_t tpmap, int ccpu) | |
76 | { | |
77 | tpmap->pmap_pcid_coherency_vector[ccpu] = 0xFF; | |
78 | } | |
79 | ||
80 | static inline void | |
81 | pmap_pcid_validate_cpu(pmap_t tpmap, int ccpu) | |
82 | { | |
83 | tpmap->pmap_pcid_coherency_vector[ccpu] = 0; | |
84 | } | |
85 | #endif /* x86_64 */ | |
86 | #endif |