Searched defs:virtual_timer_interrupt (Results 1 – 3 of 3) sorted by relevance
1584 u32 virtual_timer_interrupt; member1640 u32 virtual_timer_interrupt; member
41883 u32 virtual_timer_interrupt; member41918 u32 virtual_timer_interrupt; member