| changeset 15 | 4122176ea935 |
| parent 0 | a41df078684a |
| 0:a41df078684a | 15:4122176ea935 |
|---|---|
12 // |
12 // |
13 // Description: |
13 // Description: |
14 // |
14 // |
15 |
15 |
16 #include "mlargemappings.h" |
16 #include "mlargemappings.h" |
17 #include <kernel/cache_maintenance.inl> |
17 #include "cache_maintenance.inl" |
18 |
18 |
19 |
19 |
20 // |
20 // |
21 // DLargeMappedMemory |
21 // DLargeMappedMemory |
22 // |
22 // |