blob: adcc1c53bd22e3285300ed6d741a50fe974d7dc5 [file] [log] [blame]
/* SPDX-License-Identifier: GPL-2.0+ */
/*
* Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
*/
#include <env/x86.env>