Searched refs:page_alloc_scratch_mem (Results 1 – 1 of 1) sorted by relevance
| /l4re-core-master/sigma0/server/src/ | ||
| A D | page_alloc.cc | 14 static char page_alloc_scratch_mem[L4_PAGESIZE] __attribute__((aligned(L4_PAGESIZE))); variable |
Completed in 4 milliseconds