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

/seL4-refos-master/libs/libplatsupport/plat_include/tk1/platsupport/plat/
H A Dclock.h235 - CLK_ENBRST_DEVICES: Registers for enabling and resetting devices
244 CLK_ENBRST_DEVICES, enumerator in enum:clk_register_type
262 /* The different types of CLK_ENBRST_DEVICES registers */
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/
H A Dclock.h235 - CLK_ENBRST_DEVICES: Registers for enabling and resetting devices
244 CLK_ENBRST_DEVICES, enumerator in enum:clk_register_type
262 /* The different types of CLK_ENBRST_DEVICES registers */
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dclock.c28 #define CLK_REGISTER_ENTRY_ENBRST(a,b) {.reg_type = CLK_ENBRST_DEVICES, .eb = {.rb = a, .at = b}}
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dclock.c28 #define CLK_REGISTER_ENTRY_ENBRST(a,b) {.reg_type = CLK_ENBRST_DEVICES, .eb = {.rb = a, .at = b}}

Completed in 30 milliseconds