switch.c (09cf57eba304246141367b95c89801fd2047ac96) switch.c (13aeb9b400c5d7c5e979fdbbf994c787487f7889)
1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 * Copyright (C) 2015 - ARM Ltd
4 * Author: Marc Zyngier <marc.zyngier@arm.com>
5 */
6
7#include <hyp/switch.h>
1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 * Copyright (C) 2015 - ARM Ltd
4 * Author: Marc Zyngier <marc.zyngier@arm.com>
5 */
6
7#include <hyp/switch.h>
8#include <hyp/sysreg-sr.h>
8
9#include <linux/arm-smccc.h>
10#include <linux/kvm_host.h>
11#include <linux/types.h>
12#include <linux/jump_label.h>
13#include <uapi/linux/psci.h>
14
15#include <kvm/arm_psci.h>

--- 256 unchanged lines hidden --- 		9
10#include <linux/arm-smccc.h>
11#include <linux/kvm_host.h>
12#include <linux/types.h>
13#include <linux/jump_label.h>
14#include <uapi/linux/psci.h>
15
16#include <kvm/arm_psci.h>

--- 256 unchanged lines hidden ---