/*
 * DF-5084 reachability proof (run on the DragonFly guest).
 *
 * Compiles with the EXACT flags the radeon module uses
 * (sys/dev/drm/radeon/Makefile:148: -include ${SYSDIR}/dev/drm/kconfig.h
 *  plus -I sys/dev/drm/include) and reports whether the AGP code in
 * radeon_agp.c is compiled in at all.
 *
 * Expected (observed on guest 6.5-DEVELOPMENT):
 *   agp   = AGP_DISABLED   <- radeon_agp_init/fini bodies are stubs; bug latent
 *   pci   = PCI_ENABLED    <- control: a defined config option works
 *   undef = UNDEF_DISABLED <- control: undefined options evaluate to 0
 *   cik   = CIK_ENABLED    <- control: another kconfig.h option works
 */
#if IS_ENABLED(CONFIG_AGP)
const char *agp = "AGP_ENABLED";
#else
const char *agp = "AGP_DISABLED";
#endif
#if IS_ENABLED(CONFIG_PCI)
const char *pci = "PCI_ENABLED";
#else
const char *pci = "PCI_DISABLED";
#endif
#if IS_ENABLED(CONFIG_TOTALLY_UNDEFINED)
const char *undef_ = "UNDEF_ENABLED";
#else
const char *undef_ = "UNDEF_DISABLED";
#endif
#if IS_ENABLED(CONFIG_DRM_AMDGPU_CIK)
const char *cik = "CIK_ENABLED";
#else
const char *cik = "CIK_DISABLED";
#endif