Searched refs:chipcHw_BOOT_DEVICE_e (Results 1 – 2 of 2) sorted by relevance
73 } chipcHw_BOOT_DEVICE_e; typedef607 static inline chipcHw_BOOT_DEVICE_e chipcHw_getBootDevice(void);
520 static inline chipcHw_BOOT_DEVICE_e chipcHw_getBootDevice(void) in chipcHw_getBootDevice()