| Zeile 117: | Zeile 117: | ||
}</pre> | }</pre> | ||
| − | In C können wir diese Symbole anschließend als extern-Variablen deklarieren. Da die Variable keinen Datentyp hat (es zeigt ja nur ein Symbol an diese Stelle, ohne dass dort Platz für irgendwelche Daten reserviert wäre), ist void die richtige Wahl. Wir sind hinterher sowieso nur an der Adresse der Variablen interessiert: | + | In C können wir diese Symbole anschließend als extern-Variablen deklarieren. Da die Variable keinen Datentyp hat (es zeigt ja nur ein Symbol an diese Stelle, ohne dass dort Platz für irgendwelche Daten reserviert wäre), ist void die richtige Wahl (da dieses Nichts zudem so ziemlich unveränderlich ist, kann man gleich ein const void verwenden (sonst kann es passieren, dass der Compiler eine Warnung ausgibt)). Wir sind hinterher sowieso nur an der Adresse der Variablen interessiert: |
| − | <c>extern void kernel_start; | + | <c>extern const void kernel_start; |
| − | extern void kernel_end; | + | extern const void kernel_end; |
uintptr_t addr = (uintptr_t) &kernel_start; | uintptr_t addr = (uintptr_t) &kernel_start; | ||