Lines Matching refs:VKI_PROT_EXEC
173 xx = toBool(prot & VKI_PROT_EXEC);231 Bool xx = toBool(prot & VKI_PROT_EXEC);