Why do not need packed ? ABI layout should be already correct.

I doubt that compiler and linker can ensure the requested alignment. Also IMO you should provide explicit padding at the end of the structure.

Again, packed is useless there.

Do not check nprot argument, VM does not pass useful permission to drivers.
If HV allows write to the page, you might want to ensure that device is never opened for write, by checking the mode value in d_open(). Otherwise just ignore that.

"packed" is not removed, it is there. Or do you mean why "packed" is needed? Since this struct may change and the layout may not promise "packed" later on, I'd prefer to keep the "packed".

The "aligned" is used to do the implicit padding here, the memory of this struct is allocated w/ busdma(9) w/ proper alignment. I considered the explicit padding, it would look like:
uint8_t tsc_rsvd[PAGE_SIZE - 24];
This does not look nice to me.

That's old code, I don't want to mix changes here. And well, it's used by PDU between VM and hypervisor, I'd prefer to keep the "packed".

Heh, interesting. I will adjust the d_mmap and add d_open then.

This was a typo. I do not see a need in the packed there.

And yes, I prefer explicit padding. This, together with the assert about the structure size, makes future modifications easier, in fact.