/* Free the shared area allocated to the security processor. The processor must have finished with this and any final posted writes cleared before we do so.  */
static void sep_unmap_and_free_shared_area(struct sep_device *sep, int size)
/* Free the shared area allocated to the security processor. The processor must have finished with this and any final posted writes cleared before we do so.  */
static void sep_unmap_and_free_shared_area(struct sep_device *sep, int size)
{
	dma_free_coherent(&sep->pdev->dev, size,
				sep->shared_addr, sep->shared_bus);
}