__read_pending
return __read_pending(vcpu, addr, len, false);
return __read_pending(vcpu, addr, len, true);