Searched refs:dcm_set_default (Results 1 – 6 of 6) sorted by relevance
12 bool dcm_set_default(void);
56 bool dcm_set_default(void) in dcm_set_default() function
89 if (!dcm_set_default()) { in bl31_platform_setup()
1541 [ 1.682708] (0)[1:swapper/0][Power/dcm] [dcm_set_default]type:0x00000001
2567 [ 1.718010] (4)[1:swapper/0][Power/dcm] [dcm_set_default]type:0x00005b8f, init_dcm_type=0x5b8f,…
1589 [ 1.923466] (1)[1:swapper/0][Power/dcm] [dcm_set_default]type:0x00000001