Searched refs:L4_FPAGE_OBJ (Results 1 – 2 of 2) sorted by relevance
221 L4_FPAGE_OBJ = 3, enumerator651 return __l4_fpage_generic(obj, L4_FPAGE_OBJ, order, rights); in l4_obj_fpage()
330 Obj = L4_FPAGE_OBJ << 4
Completed in 6 milliseconds