vaddr.h

从threads/Vaddr.h中得知,意思是Valid address.即里面的函数都是判断地址空间的有效性。pintos一页为4KB。

31            12 11         0

+--------------+----------+

| page number | offset |

+--------------+----------+

因此第一页的末尾地址为100....0后面有12个0,第二页末尾是第一页末尾左移一位。

#define PGSHIFT 0

#define PGBITS 12

#define PGMASK BITMASK(PGSHIFT, PGBITS)

已知一个32位地址,向右移12位,得到的就是page number。已知一个虚拟地址,举个例子,

static inline void *pg_round_down (const void *va)

 {

 return (void *) ((uintptr_t) va & ~PGMASK);

}

这个函数的目的是给定一个地址,需要返回一个页的起始地址,即把最后12位都变成0.

你可能感兴趣的:(vaddr.h)