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.

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值