Searched refs:ast_gen_t (Results 1 – 4 of 4) sorted by relevance
81 typedef unsigned long ast_gen_t; typedef183 extern void ast_generation_get(processor_t processor, ast_gen_t gens[] /* MAX_CPUS */);186 extern void ast_generation_wait(ast_gen_t gens[] /* MAX_CPUS */ );221 extern void act_set_ast_reset_pcs(thread_t thread, ast_gen_t array[] /* MAX_CPUS */ );
424 ast_gen_t gens[MAX_CPUS] = {0}; in task_restartable_ranges_synchronize()
1217 ast_gen_t *gens) in act_set_ast()1309 act_set_ast_reset_pcs(thread_t thread, ast_gen_t gens[]) in act_set_ast_reset_pcs()
129 os_atomic(ast_gen_t) ast_gen;130 os_atomic(ast_gen_t) ast_ack;5730 ast_gen_t gen; in ast_ack_if_needed()5819 ast_generation_get(processor_t processor, ast_gen_t gens[]) in ast_generation_get()5827 ast_generation_wait(ast_gen_t gens[MAX_CPUS]) in ast_generation_wait()5831 ast_gen_t gen_ack; in ast_generation_wait()