#include "shellcode_hypervisor_args.h"
#include <stdarg.h>
#include <stdint.h>