Searched refs:el3_total (Results 1 – 1 of 1) sorted by relevance
59 size_t el3_total = 0U; in report_allocated_memory() local125 el3_total += el3_size; in report_allocated_memory()142 printf("| All | %8luB | %8luB ", gp_total, el3_total); in report_allocated_memory()