blob: df65fd753c0a459cf8e0e0948be2fe34e5e3ea72 [file] [log] [blame]
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* WHPX support -- ARM specifics
*
* Copyright (c) 2025 Mohamed Mediouni
*
*/
#ifndef QEMU_WHPX_ARM_H
#define QEMU_WHPX_ARM_H
#include "target/arm/cpu-qom.h"
uint32_t whpx_arm_get_ipa_bit_size(void);
void whpx_arm_set_cpu_features_from_host(ARMCPU *cpu);
#endif