Searched refs:maxphyaddr (Results 1 – 1 of 1) sorted by relevance
486 uint64_t *pdpte, maxphyaddr, reserved; in tss32_restore() local510 maxphyaddr = (1UL << 36) - 1; in tss32_restore()520 reserved = ~maxphyaddr | 0x1E6; in tss32_restore()