fault.ed

来自「在x86平台上运行不可信任代码的sandbox。」· ED 代码 · 共 19 行

,s/lock(lkp)/lock(\&lkp->lk)/g
,s/lkp->ref\.ref/lkp->ref/g
,s/s->ref/s->ref.ref/g
/^validaddr/+3a
	
	// This is a valid address, but the host kernel
	// might not know that.  In case we're going
	// to pass the address to the host kernel in a
	// system call, fault in the pages.
	volatile char *a = (char*)addr;
	ulong i;
	for(i=0; i<len; i+=BY2PG){
		if(write)
			*a = *a;
		else
			(void)*a;
	}
.