KERN_ia32_ASID_H_ 43 kernel/arch/amd64/include/arch/mm/asid.h #define KERN_ia32_ASID_H_ KERN_ia32_ASID_H_ 43 kernel/arch/ia32/include/arch/mm/asid.h #define KERN_ia32_ASID_H_