Searched refs:xrdc_enable (Results 1 – 4 of 4) sorted by relevance
45 void xrdc_enable(void);
154 xrdc_enable(); in bl31_platform_setup()
517 xrdc_enable(); in xrdc_reinit()
324 void xrdc_enable(void) in xrdc_enable() function