OSDev.org

The Place to Start for Operating System Developers
It is currently Thu Mar 28, 2024 4:12 pm

All times are UTC - 6 hours




Post new topic Reply to topic  [ 3 posts ] 
Author Message
 Post subject: Creating a 64-Bit Kernel
PostPosted: Sat Feb 25, 2012 4:00 am 
Offline
Member
Member

Joined: Thu Jun 17, 2010 2:36 am
Posts: 141
http://wiki.osdev.org/Creating_a_64-bit ... ual_Memory

I'm pretty sure those address's given are wrong, because linear address's are limited to 48 bits. I believe they should be:

0x0000 FFFF 7FFF FFFF -> 0x0000 FFFF FFFF FFFF

as thats the upper 2GB of memory. I'd correct it, but I'm not adventurous enough to actually confirm that's what Linux does.


Top
 Profile  
 
 Post subject: Re: Creating a 64-Bit Kernel
PostPosted: Sat Feb 25, 2012 4:23 am 
Offline
Member
Member
User avatar

Joined: Wed Dec 01, 2010 3:41 am
Posts: 1761
Location: Hong Kong
No. See Canonical form addresses (google is your friend).


Top
 Profile  
 
 Post subject: Re: Creating a 64-Bit Kernel
PostPosted: Sun Feb 26, 2012 3:28 am 
Offline
Member
Member

Joined: Wed Mar 09, 2011 3:55 am
Posts: 509
Rudster816 wrote:
I'm pretty sure those address's given are wrong, because linear address's are limited to 48 bits.


They're right (and the addresses you suggest would cause a general protection fault), because of the specific way in which the addresses are limited to 48 bits: The upper 16 bits must match the high bit of the lower 48 bits. So you have valid addresses from 0x0000 0000 0000 0000 through 0x0000 7FFF FFFF FFFF, and from 0xFFFF 8000 0000 0000 through 0xFFFF FFFF FFFF FFFF, but the addresses from 0x0000 8000 0000 0000 through 0xFFFF 7FFF FFFF FFFF are invalid.


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 3 posts ] 

All times are UTC - 6 hours


Who is online

Users browsing this forum: No registered users and 14 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group