void ps_refresh()
{
do_swapint(&old_ps_count, &cur_ps_count);
do_swapptr((void *) &old_ps_list, (void *) &cur_ps_list);
do_swapint(&work_ps_count, &old_ps_count);
do_swapptr((void *) &work_ps_list, (void *) &old_ps_list);
ps_sort();
}
void logcat_refresh()
{
do_swapint(&cur_logcat_count, &work_logcat_count);
do_swapptr(&cur_logcat_list, &work_logcat_list);
}
void dmesg_refresh()
{
do_swapint(&cur_dmesg_count, &work_dmesg_count);
do_swapptr(&cur_dmesg_list, &work_dmesg_list);
}