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

/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c732 dbg_didr_t didr; local
734 didr.words[0] = getDIDR();
735 dbg.oem_revision = dbg_didr_get_revision(didr);
736 dbg.oem_variant = dbg_didr_get_variant(didr);
737 dbg.didr_version = dbg_didr_get_version(didr);

Completed in 26 milliseconds