Searched refs:l4_i686_rdpmc_32 (Results 1 – 2 of 2) sorted by relevance
386 static inline l4_uint32_t l4_i686_rdpmc_32(int cntr){ in l4_i686_rdpmc_32() function
388 static inline l4_uint32_t l4_i686_rdpmc_32(int cntr){ in l4_i686_rdpmc_32() function
Completed in 5 milliseconds