#include "libxl_internal.h"
#include "libxl_arch.h"

int libxl__arch_domain_create(libxl__gc *gc, libxl_domain_config *d_config,
                              uint32_t domid)
{
    return 0;
}