Searched refs:XKPRANGE (Results 1 – 4 of 4) sorted by relevance
295 ``XKPRANGE`` ``0x8000000000000000 - 直接映射, 可缓存 / 非缓存, PLV0301 用户态（PLV3）只能访问XUVRANGE，对于直接映射的XSPRANGE和XKPRANGE，将虚拟地址的第305 目前，我们仅用XKPRANGE来进行直接映射，XSPRANGE保留给以后用。308 （在XKPRANGE中）是0x80000000_00001000，其一致可缓存直接映射虚拟地址（在XKPRANGE中）309 是0x90000000_00001000，而其弱序非缓存直接映射虚拟地址（在XKPRANGE中）是0xA0000000_
102 #define XKPRANGE _CONST64_(0x8000000000000000) macro
329 ``XKPRANGE`` ``0x8000000000000000 - Direct-mapped, Cached / Uncached, PLV0336 XKPRANGE, PA is equal to VA with bits 60~63 cleared, and the cache attribute340 Currently we only use XKPRANGE for direct mapping and XSPRANGE is reserved.343 XKPRANGE) of 0x00000000_00001000 is 0x80000000_00001000, the coherent cached344 direct-mapped VA (in XKPRANGE) of 0x00000000_00001000 is 0x90000000_00001000,345 and the weakly-ordered uncached direct-mapped VA (in XKPRANGE) of 0x00000000
456 This gives the XKPRANGE address where the kernel is loaded.