Re: RFC: New userspace fetch/store API

Sun, 24 Feb 2019 21:27:16 -0800 


> On Feb 24, 2019, at 8:26 PM, matthew green <[email protected]> wrote:
> 
>>> On Feb 23, 2019, at 4:04 PM, matthew green <[email protected]> wrote:
>>> 
>>> i like this.  the current API is ... odd.
>> 
>> Oh any thoughts on have intrsafe or not?
> 
> if we can get away without it, that would be best.  how hard is
> the single(?) caller to fix? :-)

Not at all — just make it use the “got a page fault” case always.  I’ve done it 
in my local tree.

-- thorpej























					Reply via email to