diff options
| author | Adin Scannell <ascannell@google.com> | 2018-06-06 22:51:58 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-06-06 22:52:55 -0700 |
| commit | 3374849cb553fab16e69d39cf6e49f843d94790b (patch) | |
| tree | e3131aa5e77bef84a85c354ab939fc0bf81d8b6f /.gitignore | |
| parent | 1b5062263b4a3ca3dc0271d9e06ad0113197344c (diff) | |
Split PCID implementation from page tables.
Instead of associating a single PCID with each set of page tables (which
will reach the maximum quickly), allow a dynamic pool for each vCPU.
This is the same way that Linux operates. We also split management of
PCIDs out of the page tables themselves for simplicity.
PiperOrigin-RevId: 199585631
Change-Id: I42f3486ada3cb2a26f623c65ac279b473ae63201
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions