| .. |
|
intel64
|
style: fix spelling in code comments and strings
|
2025-05-23 10:48:41 +08:00 |
|
.gitignore
|
Flat address x86_64 port of Nuttx (#411)
|
2020-03-03 19:02:59 -06:00 |
|
acpi.h
|
style: fix spelling in code comments and strings
|
2025-05-23 10:48:41 +08:00 |
|
arch.h
|
arch/x86_64: migrate to SPDX identifier
|
2024-12-02 17:23:25 +08:00 |
|
barriers.h
|
arch/x86_64:use UP_DSB, UP_DMB, UP_ISB as barrier standard API
|
2025-01-20 20:13:07 +08:00 |
|
elf.h
|
arch/x86_64:Adapt coredump
|
2025-01-22 16:35:32 +08:00 |
|
hpet.h
|
arch/x86_64: migrate to SPDX identifier
|
2024-12-02 17:23:25 +08:00 |
|
inttypes.h
|
arch/x86_64: migrate to SPDX identifier
|
2024-12-02 17:23:25 +08:00 |
|
io.h
|
arch/x86_64: migrate to SPDX identifier
|
2024-12-02 17:23:25 +08:00 |
|
irq.h
|
arch: up_getusrsp change to inline and implement in irq.h
|
2025-01-06 23:03:05 +08:00 |
|
limits.h
|
arch/x86_64: migrate to SPDX identifier
|
2024-12-02 17:23:25 +08:00 |
|
multiboot2.h
|
arch/x86_64: migrate to SPDX identifier
|
2024-12-18 17:51:57 +08:00 |
|
setjmp.h
|
arch/x86_64: migrate to SPDX identifier
|
2024-12-02 17:23:25 +08:00 |
|
spinlock.h
|
arch/x86_64:use UP_DSB, UP_DMB, UP_ISB as barrier standard API
|
2025-01-20 20:13:07 +08:00 |
|
syscall.h
|
arch/x86_64: migrate to SPDX identifier
|
2024-12-02 17:23:25 +08:00 |
|
types.h
|
arch/x86_64: migrate to SPDX identifier
|
2024-12-02 17:23:25 +08:00 |
