/* ---------------------------------------------------------------------
proc filesystem
------------------------------------------------------------------ */
-Bool VG_(have_proc_filesystem)(void)
+Bool VG_(is_procfs_mounted)(void)
{
static int have_proc_fs = -1;
// when it tries to open /proc/<pid>/cmdline for itself.
// p: setup file descriptors
//--------------------------------------------------------------
- if (! VG_(have_proc_filesystem)()) {
+ if (! VG_(is_procfs_mounted)()) {
// client shouldn't be using /proc!
VG_(cl_cmdline_fd) = -1;
} else {
}
PRE_MEM_RASCIIZ( "open(filename)", ARG1 );
- if (VG_(have_proc_filesystem)())
+ if (VG_(is_procfs_mounted)())
{
/* Handle the case where the open is of /proc/self/cmdline or
/proc/<pid>/cmdline, and just give it a copy of the fd for the
HChar name[25];
Char* arg1s = (Char*) ARG1;
VG_(sprintf)(name, "/proc/%d/exe", VG_(getpid)());
- if (VG_(have_proc_filesystem()) && ML_(safe_to_deref)(arg1s, 1) &&
+ if (VG_(is_procfs_mounted()) && ML_(safe_to_deref)(arg1s, 1) &&
(VG_STREQ(arg1s, name) || VG_STREQ(arg1s, "/proc/self/exe"))
)
{
/* Whether or not the proc filesystem has been mounted at the /proc
mountpoint. */
-extern Bool VG_(have_proc_filesystem)(void);
+extern Bool VG_(is_procfs_mounted)(void);
#endif // __PUB_CORE_LIBCFILE_H