Home
last modified time | relevance | path

Searched refs:res_4 (Results 1 – 2 of 2) sorted by relevance

/DragonOS-0.1.2/kernel/src/arch/x86_64/
Dx86_64_ipi.c31 icr_entry.destination.apic_destination.res_4 = 0; in ipi_send_IPI()
/DragonOS-0.1.2/kernel/src/driver/interrupt/apic/
Dapic.h138 unsigned int res_4 : 24, // 32~55 member