overlay_target_busy
if (!list_is_empty(&overlay_dev_list) || overlay_target_busy()) {
extern int overlay_target_busy(void);