pic_percpu
struct pic_percpu * const pcpu = v0;
percpu_foreach(is->is_pic->pic_percpu, interrupt_get_count_cb, &arg);
struct pic_percpu * const pcpu = percpu_getref(is->is_pic->pic_percpu);
percpu_putref(is->is_pic->pic_percpu);
struct pic_percpu * const pcpu = v0;
pic->pic_percpu = percpu_create(sizeof(struct pic_percpu),
struct pic_percpu * const pcpu = v0;
percpu_foreach(pic->pic_percpu, pic_percpu_evcnt_attach, is);
struct pic_percpu * const pcpu = v0;
percpu_foreach(pic->pic_percpu, pic_percpu_evcnt_deattach, is);
percpu_t *pic_percpu;