hpet_timer_cookie

133

hpet_timer_cookie* hpetCookie = (hpet_timer_cookie*)arg;

218

hpet_init_timer(hpet_timer_cookie* cookie)

448

hpet_timer_cookie* hpetCookie = (hpet_timer_cookie*)malloc(sizeof(hpet_timer_cookie));

487

hpet_timer_cookie* hpetCookie = (hpet_timer_cookie*)cookie;

503

hpet_timer_cookie* hpetCookie = (hpet_timer_cookie*)cookie;

516

hpet_timer_cookie* hpetCookie = (hpet_timer_cookie*)cookie;

5

struct hpet_timer_cookie ;