Lines Matching defs:ret
14 static void obj_frame_print_attrs(lookupFrame_ret_t ret);
425 void obj_frame_print_attrs(lookupFrame_ret_t ret)
430 switch (ret.frameSize) {
442 printf(", paddr: 0x%p)\n", (void *)ret.frameBase);
447 lookupFrame_ret_t ret;
454 ret.frameBase = pte_ptr_get_page_base_address(ptSlot);
455 ret.frameSize = ARMSmallPage;
457 obj_frame_print_attrs(ret);
464 lookupFrame_ret_t ret;
471 ret.frameBase = pde_pde_large_ptr_get_page_base_address(pdSlot);
472 ret.frameSize = ARMLargePage;
475 obj_frame_print_attrs(ret);
487 lookupFrame_ret_t ret;
495 ret.frameBase = pude_pude_1g_ptr_get_page_base_address(pudSlot);
496 ret.frameSize = ARMHugePage;
499 obj_frame_print_attrs(ret);