| 1234567891011121314151617181920212223242526 | /* This Hello World simply print out "Hello World" */#include <stdint.h>#include "pal.h"#include "pal_debug.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;}
 |