CPUCFG1_MSGINT
return arch->cpucfg[1] & CPUCFG1_MSGINT;
if (config & CPUCFG1_MSGINT)
if ((val & CPUCFG1_MSGINT) && !cpu_has_msgint)