hphp_clear_hardware_events

function hphp_clear_hardware_events(): void;