// SPDX-License-Identifier: GPL-2.0-only
/*
* ARM Specific GTDT table Support
*
* Copyright (C) 2016, Linaro Ltd.
* Author: Daniel Lezcano <// SPDX-License-Identifier: GPL-2.0-only
/*
*
阅读背景：
linux/drivers/acpi/arm64/gtdt.c_cxu123321的博客
来源：互联网
分享到：
