include/config/debug/boot/params.h
include/xen/interface/hvm/params.h