4.2.10 x86 64 bit Linux process
[Processors module]

The x86 64 bit Linux process module is described through the following subsections: