ubuntu-linux-kernel/include/config/cpu/sw/domain/pan.h