Ignore:
Timestamp:
Jul 18, 2017, 10:29:58 AM (5 years ago)
Author:
max@…
Message:

Create a (virtual) copy of the local cluster in 0xffffe00000000000, and
make GET_PTR() point to it. This way we can use pointers from GET_PTR()
directly, instead of reconstructing a XPTR with local_cxy.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/x86_64/core/hal_boot.h

    r193 r224  
    144144        (CLUSTER_MIN_VA(n) + CLUSTER_VA_SIZE)
    145145
     146/* Macros indicating the VA ranges for the local cluster*/
     147#define LOCAL_CLUSTER_MIN_VA    HAL_VA_LOCAL_CLUSTER
     148#define LOCAL_CLUSTER_MAX_VA    (LOCAL_CLUSTER_MIN_VA + CLUSTER_VA_SIZE)
     149
Note: See TracChangeset for help on using the changeset viewer.