__PPC_GET_TIMEBASE |
PowerPC : Demande le temps de base |
|---|---|
| GNU C | sys/platform/ppc.h |
Syntaxe
| uint64_t __ppc_get_timebase(void); |
Description
Cette fonction permet de lire la valeur courante du Time Base Register. Le registre de base de temps est un registre de 64 bits entreposant une valeur incrémentée de manière monotone mise à jour à une fréquence dépendant du système pouvant être différente de celle du processeur.
Remarque
- La fonction __ppc_get_timebase utilise la base de temps du processeur directement sans avoir besoin de l'aide du système d'exploitation, ceci la rendant très efficace.
Dernière mise à jour : Lundi, le 29 avril 2019