Searched refs:fdt_reserved_page_count (Results 1 – 1 of 1) sorted by relevance
86 uint fdt_reserved_page_count = in generic_arm64_reserve_device_tree() local88 if (fdt_page_count != fdt_reserved_page_count) { in generic_arm64_reserve_device_tree()