Baked Pork Tenderloin With Garlic Butter

Name: Baked Pork Tenderloin With Garlic Butter
Prep time: 20 min
Cook time: 25 min
Total time: 45 min
Ingredients: 4 Tbsp. butter, softened; 2 Tbsp. grainy mustard, divided; ¼ cup fresh parsley leaves; 1 tsp. fresh rosemary leaves; 5 garlic cloves, peeled; ¾ tsp. salt, divided; ¼ tsp. black pepper; 1 (2 lb.) pork tenderloin; 1 Tbsp. olive oil; ½ cup chicken broth