It's typical. Often you get 15 days/year with several years at a company. National holidays usually don't count.

I was at a start-up once where we got a new CEO who essentially canceled a week of "whole company time off" at Christmas. If you wanted that time off, it came out of your vacation. He didn't care . . . and soon after that, I didn't care, either :-)

[Didn't help that he was really scarce in the office that week...]