You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently everything is done using uint32_t, while this is fine for 32-bit systems, there is zero flexibility for PAE or 64-bit address spaces. Perhaps better to use vaddr_t, paddr_t, etc. and then typedef according to system...
The text was updated successfully, but these errors were encountered:
Currently everything is done using
uint32_t
, while this is fine for 32-bit systems, there is zero flexibility for PAE or 64-bit address spaces. Perhaps better to usevaddr_t
,paddr_t
, etc. and then typedef according to system...The text was updated successfully, but these errors were encountered: