| |
| /pliant/language/os/linux64.pli |
| |
| 1 |
module "/pliant/install/ring2.pli" | |
| 2 |
module "/pliant/language/type/number/int64.pli" | |
| 3 |
| |
| 4 |
public | |
| 5 |
type os_stat64 | |
| 6 |
packed | |
| 7 |
field uInt16 st_dev ; field (Array Byte 10) __pad0 | |
| 8 |
field uInt __st_ino | |
| 9 |
field uInt st_mode | |
| 10 |
field uInt st_nlink | |
| 11 |
field uInt st_uid st_gid | |
| 12 |
field uInt16 st_rdev ; field (Array Byte 10) __pad3 | |
| 13 |
field uInt64 st_size | |
| 14 |
field uInt st_blksize st_blocks ; field uInt __pad4 | |
| 15 |
field uInt st_atime __pad5 st_mtime __pad5 st_ctime __pad7 | |
| 16 |
field uInt64 st_ino | |
| 17 |
| |
| 18 |
function os_stat64 filename stat -> err | |
| 19 |
arg CStr filename ; arg_w os_stat64 stat ; arg Int err | |
| 20 |
kernel_function 195 | |
| 21 |
| |
| 22 |
function os_lstat64 filename stat -> err | |
| 23 |
arg CStr filename ; arg_w os_stat64 stat ; arg Int err | |
| 24 |
kernel_function 196 | |
| 25 |
| |
| 26 |
export os_stat64 os_lstat64 | |
| |