/* -*- mode:c; c-file-style:"k&r"; c-basic-offset: 4; tab-width:4; indent-tabs-mode:nil; mode:auto-fill; fill-column:78; -*- */
/* vim: set ts=4 sw=4 et tw=78 fo=cqt wm=0: */

/* This Hello World simply print out "Hello World" */

#include "pal.h"
#include "pal_debug.h"

#include <stdint.h>

int main (int argc, char ** argv, char **envp)
{
    void * p1 = (void *) DkVirtualMemoryAlloc (NULL,
                                               pal_control.alloc_align * 4,
                                               0,
                                               PAL_PROT_READ|PAL_PROT_WRITE);

    void * p2 = (void *) DkVirtualMemoryAlloc (NULL,
                                               pal_control.alloc_align * 4,
                                               0,
                                               PAL_PROT_READ|PAL_PROT_WRITE);

    void * p3 = (void *) DkVirtualMemoryAlloc (NULL,
                                               pal_control.alloc_align * 2,
                                               0,
                                               PAL_PROT_READ|PAL_PROT_WRITE);

    DkVirtualMemoryAlloc ((void *) (((uint64_t) p1 + (uint64_t) p2) / 2),
                          pal_control.alloc_align * 4,
                          0, PAL_PROT_READ|PAL_PROT_WRITE);

    DkVirtualMemoryAlloc (p3, pal_control.alloc_align * 2, 0,
                          PAL_PROT_READ|PAL_PROT_WRITE);

    DkVirtualMemoryFree (p3, pal_control.alloc_align);

    return 0;
}