#ifndef HV_QEMU_VIRT_H
#define HV_QEMU_VIRT_H

#include "hv/config.h"
#include "hv/types.h"

static inline bool qemu_virt_guest_layout_valid(void)
{
    return CONFIG_PLATFORM_QEMU_VIRT == 1 &&
           CONFIG_GUEST_IPA_BASE == 0x40000000ull &&
           CONFIG_GUEST_RAM_BASE == 0x42000000ull &&
           CONFIG_GUEST_RAM_SIZE == 0x30000000ull &&
           CONFIG_UART_BASE == 0x09000000ull &&
           CONFIG_GICD_BASE == 0x08000000ull &&
           CONFIG_GICR_BASE == 0x080A0000ull;
}

#endif