Home
last modified time | relevance | path

Searched refs:video_last_refresh_pid (Results 1 – 3 of 3) sorted by relevance

/DragonOS-0.1.2/kernel/src/driver/video/
Dvideo.h31 extern uint64_t video_last_refresh_pid;
Dvideo.c17 uint64_t video_last_refresh_pid = -1; variable
/DragonOS-0.1.2/kernel/src/driver/timers/HPET/
DHPET.c83 … if (timer_jiffies >= video_refresh_expire_jiffies || (video_last_refresh_pid != current_pcb->pid)) in HPET_handler()