int __init construct_dom0(struct domain *d, const module_t *image,
unsigned long image_headroom, module_t *initrd,
- char *cmdline)
+ const char *cmdline)
{
int rc;
static int __init pvh_load_kernel(struct domain *d, const module_t *image,
unsigned long image_headroom,
module_t *initrd, void *image_base,
- char *cmdline, paddr_t *entry,
+ const char *cmdline, paddr_t *entry,
paddr_t *start_info_addr)
{
void *image_start = image_base + image_headroom;
int __init dom0_construct_pvh(struct domain *d, const module_t *image,
unsigned long image_headroom,
module_t *initrd,
- char *cmdline)
+ const char *cmdline)
{
paddr_t entry, start_info;
int rc;
int dom0_construct_pv(struct domain *d, const module_t *image,
unsigned long image_headroom,
module_t *initrd,
- char *cmdline);
+ const char *cmdline);
int dom0_construct_pvh(struct domain *d, const module_t *image,
unsigned long image_headroom,
module_t *initrd,
- char *cmdline);
+ const char *cmdline);
unsigned long dom0_paging_pages(const struct domain *d,
unsigned long nr_pages);
struct domain *d,
const module_t *kernel, unsigned long kernel_headroom,
module_t *initrd,
- char *cmdline);
+ const char *cmdline);
void setup_io_bitmap(struct domain *d);
unsigned long initial_images_nrpages(nodeid_t node);
const module_t *image,
unsigned long image_headroom,
module_t *initrd,
- char *cmdline)
+ const char *cmdline)
{
int i, rc, order, machine;
bool compatible, compat;