Home
last modified time | relevance | path

Searched refs:print_pager_pool_size (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/arch/arm/kernel/
A Dboot.c316 static void print_pager_pool_size(void) in print_pager_pool_size() function
546 print_pager_pool_size(); in init_runtime()

Completed in 4 milliseconds