___p4d_free_tlb
extern void ___p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d);
___p4d_free_tlb(tlb, p4d);