hphp_clear_hardware_events

function hphp_clear_hardware_events();