/* Assumes vmstat_init has already been called */ void vmstats_print(void) { /* simple check that vmstat_init has been called */ KASSERT(stats_lock); lock_acquire(stats_lock); _vmstats_print(); lock_release(stats_lock); }
/* Assumes vmstat_init has already been called */ void vmstats_print() { /* simple check that vmstat_init has been called */ assert(stats_lock); lock_acquire(stats_lock); _vmstats_print(); lock_release(stats_lock); }