/usr/kernel/cpu/capflags.c