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

/barrelfish-2018-10-04/tools/fastmodels/
H A Dmain.c511 alloc_kernel_pt(size_t *pt_size, uint64_t table_base, argument
595 *pt_size= 2 * PTABLE_SIZE;

Completed in 28 milliseconds