plpks_get_supportedpolicies
u32 plpks_get_supportedpolicies(void);
PLPKS_CONFIG_ATTR(supported_policies, "%08x\n", plpks_get_supportedpolicies);