Re: [PATCH 00/11] Implement generic prot_guest_has() helper function