EXECMEM_FTRACE
start = execmem_alloc(EXECMEM_FTRACE, numpages * PAGE_SIZE);
return execmem_alloc_rw(EXECMEM_FTRACE, size);
[EXECMEM_FTRACE] = {