Searched refs:Page_shift (Results 1 – 1 of 1) sorted by relevance
33 Page_shift = L4_PAGESHIFT, enumerator34 Page_size = 1 << Page_shift,86 l4_addr_t caddr = l4_trunc_size(l4_addr_t(p), Malloc_page::Page_shift); in from_ptr()
Completed in 3 milliseconds