/* Removes the Handler for a specific exception Id. The stub Handler is then registered for this exception Id.  */
void Xil_ExceptionRemoveHandler(u32 Exception_id)
/* Removes the Handler for a specific exception Id. The stub Handler is then registered for this exception Id.  */
void Xil_ExceptionRemoveHandler(u32 Exception_id)
{
	Xil_ExceptionRegisterHandler(Exception_id,
				       Xil_ExceptionNullHandler,
				       NULL);
}