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.