blob: db5885387ea8f147095c90aad2fcbbdffb723ec4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
/*
* Copyright (C) 2019 Intel Corporation. All rights reserved.
* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
*/
#include "platform_api_vmcore.h"
int
os_thread_sys_init();
void
os_thread_sys_destroy();
int
init_winsock();
void
deinit_winsock();
int
bh_platform_init()
{
if (init_winsock() != 0) {
return -1;
}
return os_thread_sys_init();
}
void
bh_platform_destroy()
{
deinit_winsock();
os_thread_sys_destroy();
}
int
os_printf(const char *format, ...)
{
int ret = 0;
va_list ap;
va_start(ap, format);
#ifndef BH_VPRINTF
ret += vprintf(format, ap);
#else
ret += BH_VPRINTF(format, ap);
#endif
va_end(ap);
return ret;
}
int
os_vprintf(const char *format, va_list ap)
{
#ifndef BH_VPRINTF
return vprintf(format, ap);
#else
return BH_VPRINTF(format, ap);
#endif
}
unsigned
os_getpagesize()
{
SYSTEM_INFO sys_info;
GetNativeSystemInfo(&sys_info);
return (unsigned)sys_info.dwPageSize;
}
void
os_dcache_flush(void)
{}
|
