Symbol: uv_destroy_pte
arch/s390/include/asm/pgtable.h
1242
if (full && !uv_destroy_pte(res))
arch/s390/include/asm/uv.h
632
int uv_destroy_pte(pte_t pte);