Searched defs:DEFAULT_VCPU_RT_LEVEL (Results 1 – 1 of 1) sorted by relevance
150 const DEFAULT_VCPU_RT_LEVEL: u16 = 6; in set_vcpu_thread_scheduling() constant373 const DEFAULT_VCPU_RT_LEVEL: u16 = 6; in vcpu_loop() constant