+#define AST_KEVENT_RETURN_TO_KERNEL 0x0001
+#define AST_KEVENT_REDRIVE_THREADREQ 0x0002
+
+extern void kevent_ast(thread_t thread, uint16_t bits);
+extern void act_set_astkevent(thread_t thread, uint16_t bits);
+extern uint16_t act_clear_astkevent(thread_t thread, uint16_t bits);
+extern void act_set_ast_reset_pcs(thread_t thread);
+