blob: d25ca7ac57c714b8f2a3ad309a198e83f9327af9 [file] [log] [blame]
/* SPDX-License-Identifier: GPL-2.0 */
#include <asm/paravirt.h>