hpt_do_stress
hpt_do_stress(ea, hpte_group);
void hpt_do_stress(unsigned long ea, unsigned long hpte_group);