ccp_del_device    531 drivers/crypto/ccp/ccp-dev-v3.c 	ccp_del_device(ccp);
ccp_del_device   1008 drivers/crypto/ccp/ccp-dev-v5.c 	ccp_del_device(ccp);
ccp_del_device    631 drivers/crypto/ccp/ccp-dev.h void ccp_del_device(struct ccp_device *ccp);