src/ssx/ppc405/ppc405_init.c
// Set the timebase using the PowerPC protocol.
Set the timebase using the PowerPC protocol.
Set the timebase using the PowerPC protocol .
void
__ssx_timebase_set(SsxTimebase t)
{
    Uint64 tb;
    tb.value = t;
    mttbl(0);
    mttbu(tb.word[0]);
    mttbl(tb.word[1]);
}
void __ssx_timebase_set ( SsxTimebase t ) { Uint64 tb ; tb . value = t ; mttbl ( 0 ) ; mttbu ( tb . word [ 0 ] ) ; mttbl ( tb . word [ 1 ] ) ; }
Set the timebase using the PowerPC protocol.
Set the timebase using the PowerPC protocol .