hphp_get_hardware_counters

function hphp_get_hardware_counters(): mixed;