Searched refs:set_notification (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ | ||
H A D | Allocator.py | 149 o.set_notification(notification) |
H A D | Object.py | 501 def set_notification(self, notification_cap): member in class:IRQ |
Completed in 36 milliseconds