/* SPDX-License-Identifier: GPL-2.0-only */ #include const struct region_device *boot_device_ro(void) { return NULL; }