module_stat
struct module_stat pmc_modstat;
pmc_modstat.version = sizeof(struct module_stat);
typedef int (__sys_modstat_t)(int, struct module_stat *);
struct module_stat;
int __sys_modstat(int modid, struct module_stat * stat);
struct module_stat mstat;
struct module_stat mstat;
mstat.version = sizeof(struct module_stat);
struct module_stat stat;
stat.version = sizeof(struct module_stat);
struct module_stat stat;
stat.version = sizeof(struct module_stat);
struct module_stat stat;
struct module_stat *stat;
if (!is_v1v2 && version != sizeof(struct module_stat))
} else if (version == sizeof(struct module_stat)) {
int modstat(int _modid, struct module_stat *_stat);
char stat_l_[PADL_(struct module_stat *)]; struct module_stat * stat; char stat_r_[PADR_(struct module_stat *)];
ATF_REQUIRE(modstat(0, (struct module_stat *)&ms) == -1);
ATF_REQUIRE(modstat(modid, (struct module_stat *)&ms) == -1);
ATF_REQUIRE(modstat(modid, (struct module_stat *)&ms) == 0);
ATF_REQUIRE(modstat(0, (struct module_stat *)&ms) == -1);
ATF_REQUIRE(modstat(modid, (struct module_stat *)&ms) == -1);
ATF_REQUIRE(modstat(modid, (struct module_stat *)&ms) == 0);
struct module_stat ms;
struct module_stat stat;
struct module_stat mstat;
mstat.version = sizeof(struct module_stat);
struct module_stat mstat;
mstat.version = sizeof(struct module_stat);