target/arm/whpx_arm.h

/* 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