incubator-nuttx/arch/x86_64/include/intel64
p-szafonimateusz 8682321d0c arch/x86_64: addrenv support
Add addrenv support for x86_64.
For now we support mapping on PT level, so PD, PDT and PML4 are static

Signed-off-by: p-szafonimateusz <p-szafonimateusz@xiaomi.com>
2024-07-03 17:40:53 +08:00
..
arch.h arch/x86_64: addrenv support 2024-07-03 17:40:53 +08:00
inttypes.h
io.h
irq.h arch/x86_64: add MMU interface 2024-07-03 17:40:53 +08:00
limits.h
types.h