/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
 * WHPX stubs for ARM
 *
 *  Copyright (c) 2025 Mohamed Mediouni
 *
 */

#include "qemu/osdep.h"
#include "whpx_arm.h"

uint32_t whpx_arm_get_ipa_bit_size(void)
{
    g_assert_not_reached();
}
