can the bucket allocator be used in a 64bit higher half kernel? and does it comply with the canonical address format?
can the bucket allocator be used in a 64bit higher half kernel?
and does it comply with the canonical address format?