num_poisoned_pages_inc
num_poisoned_pages_inc(addr >> PAGE_SHIFT);
void num_poisoned_pages_inc(unsigned long pfn);
num_poisoned_pages_inc(pfn);
num_poisoned_pages_inc(page_to_pfn(page));