Vcore helper for clearing notif_pending
[akaros.git] / user / parlib / include / vcore.h
index 1cbfa87..000fb79 100644 (file)
@@ -46,6 +46,7 @@ void vcore_yield(void);
 size_t max_vcores(void);
 size_t num_vcores(void);
 bool check_preempt_pending(uint32_t vcoreid);
+void clear_notif_pending(uint32_t vcoreid);
 
 static inline void enable_notifs(uint32_t vcoreid)
 {