diff --git a/headers/private/kernel/vm/vm_types.h b/headers/private/kernel/vm/vm_types.h index f37f191855..138f8a144b 100644 --- a/headers/private/kernel/vm/vm_types.h +++ b/headers/private/kernel/vm/vm_types.h @@ -123,6 +123,8 @@ private: public: page_num_t cache_offset; // in page size units + // TODO: Only 32 bit on 32 bit platforms! + // Introduce a new 64 bit type page_off_t! SplayTreeLink cache_link; vm_page* cache_next;