Introduction
Stahl Language
1. Tutorial
2. How-Tos
3. Reference
4. Deep Dives
5. Notebooks
6. 1. Levitation
StahlOS Kernel
1. Tutorial
2. How-Tos
3. 1. Add a Platform
4. Reference
5. Deep Dives
7. Notebooks
StahlOS Forth
1. Tutorial
2. How-Tos
3. Reference
5. Deep Dives
6. 1. Internals
7. Notebooks

AArch64 Intrinsics

These words do AArch64-specific things.

System Register Access

All of these words are of the form AARCH64/basename@ or AARCH64/basename!. The @ variety has a signature of ( -- u ), the ! variety has a signature of ( u -- ). They correspond to system registers.

Word Base Name	Register
`DAIF`	`DAIF`
`ELR-EL1`	`ELR_EL1`
`ESR-EL1`	`ESR_EL1`
`FAR-EL1`	`FAR_EL1`
`MAIR-EL1`	`MAIR_EL1`
`SCTLR-EL1`	`SCTLR_EL1`
`SPSEL`	`SPSel`
`SPSR-EL1`	`SPSR_EL1`
`TCR-EL1`	`TCR_EL1`
`TTBR0-EL1`	`TTBR0_EL1`
`TTBR1-EL1`	`TTBR0_EL1`
`VBAR-EL1`	`VBAR_EL1`

Other Words

`AARCH64/EXCEPTION-VECTOR-TABLE`

Signature: ( -- addr )

Pushes the address of the kernel-allocated exception vector table to the stack. This is allocated in the kernel so it is guaranteed to have proper alignment, since it needs a rather large one. (In the future, this might change, and it may instead be allocated inside a frame allocated by the standard frame allocator.)