Skip to content

Commit

Permalink
Merge branch 'develop' into anway-shmdt-syscall
Browse files Browse the repository at this point in the history
  • Loading branch information
Anway-Agte authored Aug 13, 2024
2 parents 542fd32 + ae72129 commit a48e5ec
Show file tree
Hide file tree
Showing 10 changed files with 1,404 additions and 135 deletions.
1 change: 0 additions & 1 deletion src/lib.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
#![feature(lazy_cell)]
#![feature(rustc_private)] //for private crate imports for tests
#![feature(vec_into_raw_parts)]
#![feature(thread_local)]
Expand Down
1 change: 0 additions & 1 deletion src/main.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
#![feature(lazy_cell)]
#![feature(rustc_private)] //for private crate imports for tests
#![feature(vec_into_raw_parts)]
#![feature(duration_constants)]
Expand Down
8 changes: 8 additions & 0 deletions src/safeposix/filesystem.rs
Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,8 @@ pub enum Inode {
}

#[derive(interface::SerdeSerialize, interface::SerdeDeserialize, Debug)]
/// Refer [here](https://man7.org/linux/man-pages/man7/inode.7.html)
/// for more information on the below fields.
pub struct GenericInode {
pub size: usize,
pub uid: u32,
Expand All @@ -66,6 +68,8 @@ pub struct GenericInode {
}

#[derive(interface::SerdeSerialize, interface::SerdeDeserialize, Debug)]
/// Refer [here](https://man7.org/linux/man-pages/man7/inode.7.html)
/// for more information on the below fields.
pub struct DeviceInode {
pub size: usize,
pub uid: u32,
Expand All @@ -83,6 +87,8 @@ pub struct DeviceInode {
}

#[derive(interface::SerdeSerialize, interface::SerdeDeserialize, Debug)]
/// Refer [here](https://man7.org/linux/man-pages/man7/inode.7.html)
/// for more information on the below fields.
pub struct SocketInode {
pub size: usize,
pub uid: u32,
Expand All @@ -97,6 +103,8 @@ pub struct SocketInode {
}

#[derive(interface::SerdeSerialize, interface::SerdeDeserialize, Debug)]
/// Refer [here](https://man7.org/linux/man-pages/man7/inode.7.html)
/// for more information on the below fields.
pub struct DirectoryInode {
pub size: usize,
pub uid: u32,
Expand Down
Loading

0 comments on commit a48e5ec

Please sign in to comment.