execmem_cache_alloc_locked
return execmem_cache_alloc_locked(range, size);
p = execmem_cache_alloc_locked(range, size);