Searched defs:notification_callback (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dvm.c38 int vm_register_notification_callback(vm_t *vm, notification_callback_fn notification_callback, argument
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm.h152 notification_callback_fn notification_callback; member in struct:vm_run

Completed in 75 milliseconds