KERN_ia64_REGISTER_H_ 35 kernel/arch/ia64/include/arch/register.h #ifndef KERN_ia64_REGISTER_H_ KERN_ia64_REGISTER_H_ 35 uspace/lib/c/arch/ia64/include/libarch/register.h #ifndef KERN_ia64_REGISTER_H_