Searched defs:logical_id (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/arch/x86/arch/kernel/
A D	x2apic.h	57 static inline word_t apic_get_cluster(logical_id_t logical_id) in apic_get_cluster()
A D	xapic.h	58 static inline word_t apic_get_cluster(logical_id_t logical_id) in apic_get_cluster()

Completed in 5 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023