Searched refs:read_cpuid_id (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/include/arch-arm/
H A Dcpuid.h12 uint32_t read_cpuid_id(void);
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/32/
H A Dcpuid.c29 uint32_t read_cpuid_id(void) function
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/64/
H A Dcpuid.c28 uint32_t read_cpuid_id(void) function
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/
H A Dscu.c32 if ((read_cpuid_id() & 0xff0ffff0) == 0x410fc090) {
H A Dcpuid.c90 cpuid = read_cpuid_id();
110 cpuid = read_cpuid_id();

Completed in 52 milliseconds