NOM¶

SYNOPSIS¶

uint64_t __ppc_get_timebase(void)

uint64_t __ppc_get_timebase_freq(void);

DESCRIPTION¶

Le Registre de Base Temporelle est un registre de 64 bits disponibles sur les processeurs d'architecture Power. Il stocke une valeur incrémentée de façon monotone et mise à jour à une fréquence qui dépend du système et qui peut être différente de celle du processeur.

VALEUR RENVOYÉE¶

__ppc_get_timebase_freq() renvoie un entier non signé de 64 bits qui représente la fréquence à laquelle le Registre de Base Temporelle est mis à jour.

VERSIONS¶

CONFORMITɶ

EXEMPLE¶

#include <inttypes.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <sys/platform/ppc.h>
/* Valeur maximale du Registre de Base Temporelle : 2^60 - 1.
   Source : POWER ISA.  */
#define MAX_TB 0xFFFFFFFFFFFFFFF
int
main(void)
{
    uint64_t tb1, tb2, diff;
    uint64_t freq = __ppc_get_timebase_freq();
    printf("Fréquence de la Base Temporelle = %"PRIu64" Hz\n", freq);
    tb1 = __ppc_get_timebase();
    // Faire quelque chose ...
    tb2 = __ppc_get_timebase();
    if (tb2 > tb1) {
        diff = tb2 - tb1;
    } else {
        /* Traiter le dépassement du Registre de Base Temporelle.  */
        diff = (MAX_TB - tb2) + tb1;
    }
    printf("Temps écoulé = %1.2f usecs\n",
            (double) diff * 1000000 / freq );
    exit(EXIT_SUCCESS);
}

VOIR AUSSI¶

COLOPHON¶

TRADUCTION¶

Cette traduction est une documentation libre ; veuillez vous reporter à la GNU General Public License version 3 concernant les conditions de copie et de distribution. Il n'y a aucune RESPONSABILITÉ LÉGALE.

Si vous découvrez un bogue dans la traduction de cette page de manuel, veuillez envoyer un message à debian-l10n-french@lists.debian.org.