|
1
|
/* SPDX-License-Identifier: GPL-2.0-or-later */ |
|
2
|
/* |
|
3
|
* WHPX stubs for ARM |
|
4
|
* |
|
5
|
* Copyright (c) 2025 Mohamed Mediouni |
|
6
|
* |
|
7
|
*/ |
|
8
|
|
|
9
|
#include "qemu/osdep.h" |
|
10
|
#include "whpx_arm.h" |
|
11
|
|
|
12
|
uint32_t whpx_arm_get_ipa_bit_size(void) |
|
13
|
{ |
|
14
|
g_assert_not_reached(); |
|
15
|
} |