hyp_ffa_proxy_pages
(hyp_ffa_proxy_pages() - (2 * KVM_FFA_MBOX_NR_PAGES)),
nr_pages = hyp_ffa_proxy_pages();
hyp_mem_pages += hyp_ffa_proxy_pages();