Searched refs:__txn_ckp_args (Results 1 – 6 of 6) sorted by relevance
23 } __txn_ckp_args; typedef
18 int __txn_ckp_read __P((void *, __txn_ckp_args **));
209 __txn_ckp_args *argp;244 __txn_ckp_args **argpp;246 __txn_ckp_args *argp;250 ret = __os_malloc(sizeof(__txn_ckp_args) +
177 __txn_ckp_args *argp;
63 __txn_ckp_args *ckp_args;
48 __txn_ckp_args *ckp_args;