Searched defs:new_int (Results 1 – 2 of 2) sorted by relevance
832 uint32_t new_int) in exynos4210_ltick_set_cntb()
1460 WHV_X64_PENDING_INTERRUPTION_REGISTER new_int; in whpx_vcpu_pre_run() local