Attribute Macro userfaultfd_return 

#[userfaultfd_return]

(Callback) A callback that runs after the userfaultfd syscall runs.

Callback arguments: (&mut CPUState,SyscallPc,i32,)

Example

use panda::prelude::*;

#[panda::on_sys::userfaultfd_enter]
fn callback(_: &mut CPUState, _: SyscallPc, _: i32, ) {
    // do stuff
}