Thema: typedefs für paddr_t und vaddr_t

[Tectu]

Aus der source vom tyndur kernel:

Code: [Auswählen]

typedef uint64_t uintptr_t;

typedef uintptr_t paddr_t;
typedef void*      vaddr_t;
Wie kommts dass vaddr_t ein Pointer ist und paddr_t nicht? Was steckt dahinter?


~ Tectu

[kevin]

Eine physische Adresse zu dereferenzieren ist falsch, weil ja Paging immer an ist. Deswegen ist es besser, wenn man das gar nicht erst kann, sondern einem der Compiler auf die Finger haut, wenn man es versucht.