executable

pull/2/head
ondra05 2023-08-09 20:19:12 +02:00
parent a7c81a5043
commit 98dda76596
No known key found for this signature in database
GPG Key ID: 0DA6D2BB2285E881
1 changed files with 6 additions and 0 deletions

View File

@ -501,6 +501,12 @@ pub mod perm_check {
pub const fn writable(perm: Permission) -> bool {
matches!(perm, Permission::Write)
}
/// Page is executable
#[inline(always)]
pub const fn executable(perm: Permission) -> bool {
matches!(perm, Permission::Exec)
}
}
/// Handle VM traps