secctx_attr_value is declared in include/names_constant.h It is not a constant. It is defined in programs/pluto/plutomain.c which might help determine a good home for the declaration.