getticks.c

Go to the documentation of this file.

#include <xinu.h>

uint32 getticks()
{
    uint32 ret;
    asm volatile("MRC p15, 0, %0, c9, c13, 0\t\n"
                 : "=r"(ret));
    return ret;
}