The GNU General Public License is contained in the file COPYING.
*/
-#ifndef __PUB_TOOL_ASPACEMGR
-#define __PUB_TOOL_ASPACEMGR
+#ifndef __PUB_TOOL_ASPACEMGR_H
+#define __PUB_TOOL_ASPACEMGR_H
extern Bool VG_(is_client_addr) (Addr a);
*/
extern void VG_(find_root_memory)(void (*add_rootrange)(Addr addr, SizeT sz));
-#endif // __PUB_TOOL_ASPACEMGR
+#endif // __PUB_TOOL_ASPACEMGR_H
/*--------------------------------------------------------------------*/
/*--- end ---*/
The GNU General Public License is contained in the file COPYING.
*/
-#ifndef __PUB_TOOL_MACHINE
-#define __PUB_TOOL_MACHINE
+#ifndef __PUB_TOOL_MACHINE_H
+#define __PUB_TOOL_MACHINE_H
/* VGA_STACK_REDZONE_SZB: how many bytes below the stack pointer are validly
* addressible? */
// doing leak checking.
extern void VG_(apply_to_GP_regs)(void (*f)(UWord val));
-#endif // __PUB_TOOL_MACHINE
+#endif // __PUB_TOOL_MACHINE_H
/*--------------------------------------------------------------------*/
/*--- end ---*/
The GNU General Public License is contained in the file COPYING.
*/
-#ifndef __PUB_TOOL_REDIR
-#define __PUB_TOOL_REDIR
+#ifndef __PUB_TOOL_REDIR_H
+#define __PUB_TOOL_REDIR_H
/* The following macros facilitate function replacement, which is one form
of code replacement.
#define VG_REPLACE_FUNCTION_PREFIX "_vgi_"
#define VG_REPLACE_FUNCTION_PREFIX_LEN 5
-#endif // __PUB_TOOL_REDIR
+#endif // __PUB_TOOL_REDIR_H
/*--------------------------------------------------------------------*/
/*--- end ---*/