cpuid3_t 294 kernel/arch/ia64/include/arch/register.h } cpuid3_t; cpuid3_t 294 uspace/lib/c/arch/ia64/include/libarch/register.h } cpuid3_t;