Home
last modified time | relevance | path

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

/DragonOS/kernel/src/driver/irqchip/
H A Driscv_intc.rs163 irq_domain_manager().set_default_domain(intc_domain.clone()); in riscv_intc_init()
/DragonOS/kernel/src/arch/x86_64/driver/apic/
H A Dlapic_vector.rs241 irq_domain_manager().set_default_domain(vec_domain.clone()); in arch_early_irq_init()
/DragonOS/kernel/src/exception/
H A Dirqdomain.rs140 pub fn set_default_domain(&self, domain: Arc<IrqDomain>) { in set_default_domain() method