- kern_return_t (*args_0)(void);
- kern_return_t (*args_1)(uint32_t);
- kern_return_t (*args_2)(uint32_t,uint32_t);
- kern_return_t (*args_3)(uint32_t,uint32_t,uint32_t);
- kern_return_t (*args_4)(uint32_t, uint32_t,uint32_t,uint32_t);
- kern_return_t (*args_var)(uint32_t,...);
+ kern_return_t (*args_0)(void);
+ kern_return_t (*args_1)(uint32_t);
+ kern_return_t (*args64_1)(uint64_t);
+ kern_return_t (*args_2)(uint32_t, uint32_t);
+ kern_return_t (*args64_2)(uint64_t, uint64_t);
+ kern_return_t (*args_3)(uint32_t, uint32_t, uint32_t);
+ kern_return_t (*args64_3)(uint64_t, uint64_t, uint64_t);
+ kern_return_t (*args_4)(uint32_t, uint32_t, uint32_t, uint32_t);
+ kern_return_t (*args_var)(uint32_t, ...);
+ int (*args_bsd_3)(uint32_t *, uint32_t,
+ uint32_t, uint32_t);
+ int (*args64_bsd_3)(uint32_t *, uint64_t,
+ uint64_t, uint64_t);