Lines Matching full:cpuinfo
593 /* Read /proc/cpuinfo. Look for lines like these
626 /* Slurp contents of /proc/cpuinfo into FILE_BUF */
627 fd = VG_(open)( "/proc/cpuinfo", 0, VKI_S_IRUSR );
632 /* Determine the size of /proc/cpuinfo.
634 fstat returns a zero size for /proc/cpuinfo although it is
638 file_buf = VG_(malloc)("cpuinfo", file_buf_size + 1);
652 file_buf = VG_(malloc)( "cpuinfo", num_bytes + 1 );
703 /* Read /proc/cpuinfo and return the machine model. */
715 /* Slurp contents of /proc/cpuinfo into FILE_BUF */
716 fd = VG_(open)( "/proc/cpuinfo", 0, VKI_S_IRUSR );
721 /* Determine the size of /proc/cpuinfo.
723 fstat returns a zero size for /proc/cpuinfo although it is
727 file_buf = VG_(malloc)("cpuinfo", file_buf_size + 1);
741 file_buf = VG_(malloc)( "cpuinfo", num_bytes + 1 );
