Lines Matching refs:uint32_t
41 kern_return_t (*args_1)(uint32_t);
43 kern_return_t (*args_2)(uint32_t,uint32_t);
45 kern_return_t (*args_3)(uint32_t,uint32_t,uint32_t);
46 kern_return_t (*args_4)(uint32_t,uint32_t,uint32_t,uint32_t);
47 kern_return_t (*args_var)(uint32_t,...);
48 int (*args_bsd_3)(uint32_t *, uint32_t,
49 uint32_t, uint32_t);
77 extern kern_return_t thread_fast_set_cthread_self(uint32_t);
79 extern kern_return_t thread_set_user_ldt(uint32_t,uint32_t,uint32_t);
81 extern int i386_set_ldt(uint32_t *,uint32_t,uint32_t,uint32_t);
82 extern int i386_get_ldt(uint32_t *,uint32_t,uint32_t,uint32_t);