The CSM of my dual E5462 system does not enable VT-x, but does not lock it either.
I have written some MBR code to set the necessary 0x3A MSR bits. However, this will
only set the bits of a single register. As I understand it, there is at least one 0x3A MSR
per physical processor, and perhaps one per logical processor (core), of which there are 8.
I would appreciate advice on how to alter each instance of this MSR register. This is real
mode programming and there are not many free bytes available where the code can go.
Perhaps fewer than 50 bytes!
I am thinking along the lines of a broadcast IPI or perhaps hooking into entry 1Ch of
the IVT. But I am new to this kind of programming, and would welcome any advice or