UInt* pUInt;
if (tst->os_state.stack == NULL) {
- void *stk = VG_(mmap)(0, VG_STACK_SIZE_W * sizeof(Int) + VKI_PAGE_SIZE,
+ void *stk = VG_(mmap)(0, VGA_STACK_SIZE_W * sizeof(Int) + VKI_PAGE_SIZE,
VKI_PROT_READ|VKI_PROT_WRITE,
VKI_MAP_PRIVATE|VKI_MAP_ANONYMOUS,
SF_VALGRIND,
------------------------------------------------------------------ */
// Valgrind's signal stack size, in words.
-#define VG_SIGSTACK_SIZE_W 10000
+#define VGA_SIGSTACK_SIZE_W 10000
// Valgrind's stack size, in words.
-#define VG_STACK_SIZE_W 16384
+#define VGA_STACK_SIZE_W 16384
// Base address of client address space.
-#define CLIENT_BASE 0x00000000ul
+#define VGA_CLIENT_BASE 0x0ul
#endif // __AMD64_CORE_ARCH_H
/*--------------------------------------------------------------------*/
/*--- end ---*/
/*--------------------------------------------------------------------*/
+
------------------------------------------------------------------ */
// Valgrind's signal stack size, in words.
-#define VG_SIGSTACK_SIZE_W 10000
+#define VGA_SIGSTACK_SIZE_W 10000
// Base address of client address space.
-#define CLIENT_BASE 0x00000000ul
+#define VGA_CLIENT_BASE 0x0ul
#endif // __ARM_CORE_ARCH_H
// taking into account the tool's shadow needs.
client_size = ROUNDDN((VG_(valgrind_base)-REDZONE_SIZE) / (1.+ratio),
CLIENT_SIZE_MULTIPLE);
- VG_(client_base) = CLIENT_BASE;
+ VG_(client_base) = VGA_CLIENT_BASE;
VG_(client_end) = VG_(client_base) + client_size;
/* where !FIXED mmap goes */
VG_(client_mapbase) = VG_(client_base) +
The memory map it creates is:
- CLIENT_BASE +-------------------------+
+ VGA_CLIENT_BASE +-------------------------+
| client address space |
: :
: :
UInt *esp;
if (tst->os_state.stack == NULL) {
- void *stk = VG_(mmap)(0, VG_STACK_SIZE_W * sizeof(Int) + VKI_PAGE_SIZE,
+ void *stk = VG_(mmap)(0, VGA_STACK_SIZE_W * sizeof(Int) + VKI_PAGE_SIZE,
VKI_PROT_READ|VKI_PROT_WRITE,
VKI_MAP_PRIVATE|VKI_MAP_ANONYMOUS,
SF_VALGRIND,
if (stk != (void *)-1) {
VG_(mprotect)(stk, VKI_PAGE_SIZE, VKI_PROT_NONE); /* guard page */
tst->os_state.stack = (UInt *)stk + VKI_PAGE_SIZE/sizeof(UInt);
- tst->os_state.stacksize = VG_STACK_SIZE_W;
+ tst->os_state.stacksize = VGA_STACK_SIZE_W;
} else
return (UInt *)-1;
}
------------------------------------------------------------------ */
// Valgrind's signal stack size, in words.
-#define VG_SIGSTACK_SIZE_W 10000
+#define VGA_SIGSTACK_SIZE_W 10000
// Valgrind's stack size, in words.
-#define VG_STACK_SIZE_W 16384
+#define VGA_STACK_SIZE_W 16384
// Base address of client address space.
-#define CLIENT_BASE 0x00000000ul
+#define VGA_CLIENT_BASE 0x0ul
/* ---------------------------------------------------------------------
Signal stuff (should be plat)