virtualbox.org

Reading the manual, XP64 is not listed in the list of the supported host OS's, only XP32 is.

Is this correct, or just an older manual?

If this is the case I won't be able to use VBox.

It's not officially tested, but there are plenty of users here who have it as Host without problems.

Indeed, it runs perfectly.