It's probably 4 or 6.3V. And it doesn't need to be any higher. Processor cores in PC now regularly run at 1.2V and below. The microcontroller I just designed in at work runs at 1.7V, and has its own internal regulator from the 3.3V rails.
The highest voltage in any laptop computer is the 16-20V charger input.