Searched refs:hcall_unmap_page (Results 1 – 2 of 2) sorted by relevance
50 int hcall_unmap_page(u64 mapaddr) in hcall_unmap_page() function74 int ret = hcall_unmap_page(galpas->kernel.fw_handle); in hcp_galpas_dtor()
88 int hcall_unmap_page(u64 mapaddr);