Searched refs:cpuid_dcpb_read_32 (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/include/cpuid/
H A Dcpuid_spaces.h54 static inline uint32_t cpuid_dcpb_read_32(cpuid_t *dev, size_t offset) function
/barrelfish-master/kernel/include/arch/x86_64/
H A Dcpuid_spaces.h55 static inline uint32_t cpuid_dcpb_read_32(cpuid_t *dev, size_t offset) function
/barrelfish-master/kernel/include/arch/x86_32/
H A Dcpuid_spaces.h75 static inline uint32_t cpuid_dcpb_read_32(cpuid_t *dev, size_t offset) function

Completed in 33 milliseconds