Lines Matching refs:uint32_t
41 kern_return_t (*args_1)(uint32_t);
43 kern_return_t (*args_2)(uint32_t,uint32_t);
44 kern_return_t (*args_3)(uint32_t,uint32_t,uint32_t);
45 kern_return_t (*args_4)(uint32_t,uint32_t,uint32_t,uint32_t);
46 kern_return_t (*args_var)(uint32_t,...);
47 int (*args_bsd_3)(uint32_t *, uint32_t,
48 uint32_t, uint32_t);
71 extern kern_return_t thread_fast_set_cthread_self(uint32_t);
73 extern kern_return_t thread_set_user_ldt(uint32_t,uint32_t,uint32_t);
75 extern int i386_set_ldt(uint32_t *,uint32_t,uint32_t,uint32_t);
76 extern int i386_get_ldt(uint32_t *,uint32_t,uint32_t,uint32_t);