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

/barrelfish-master/usr/bench/mem_bench/
H A Dmembench.c36 size_t pt_bits, ret_bytes; local
38 pt_bits = vnode_objbits(ObjType_VNode_x86_64_ptable);
44 err = ram_alloc(&ram, pt_bits);
48 err = cap_retype(pagetable, ram, 0, ObjType_VNode_x86_64_ptable, 1UL << pt_bits, 1);

Completed in 89 milliseconds