Searched refs:UsageExecutableCode (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dosmem.h55 UsageExecutableCode // Code in the native code versions. enumerator in enum:OSMem::_MemUsage
H A Dosmemwin.cpp147 VirtualAlloc(baseAddr, space, MEM_COMMIT, memUsage == UsageExecutableCode ? PAGE_EXECUTE_READWRITE : PAGE_READWRITE);
180 memUsage == UsageExecutableCode ? PAGE_EXECUTE_READ : PAGE_READONLY, &oldProtect) == TRUE;
236 memUsage == UsageExecutableCode ? PAGE_EXECUTE_READWRITE : PAGE_READWRITE);
252 memUsage == UsageExecutableCode ? PAGE_EXECUTE_READ : PAGE_READONLY, &oldProtect) == TRUE;
H A Dosmemunix.cpp161 if (usage != UsageExecutableCode) simpleMmap = true;
295 if (memUsage == UsageExecutableCode) prot |= PROT_EXEC;
353 if (memUsage == UsageExecutableCode) prot |= PROT_EXEC;
377 if (usage != UsageExecutableCode) return true;
442 if (memUsage == UsageExecutableCode) prot |= PROT_EXEC;
483 if (memUsage == UsageExecutableCode) prot |= PROT_EXEC;
H A Dmemmgr.cpp65 OSMem::UsageExecutableCode;

Completed in 91 milliseconds