Lines Matching defs:rsvd_bits
191 static inline u64 rsvd_bits(int s, int e)
2464 exb_bit_rsvd = rsvd_bits(63, 63);
2479 context->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
2482 context->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
2486 rsvd_bits(maxphyaddr, 63) |
2487 rsvd_bits(7, 8) | rsvd_bits(1, 2); /* PDPTE */
2489 rsvd_bits(maxphyaddr, 62); /* PDE */
2491 rsvd_bits(maxphyaddr, 62); /* PTE */
2493 rsvd_bits(maxphyaddr, 62) |
2494 rsvd_bits(13, 20); /* large page */
2499 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2501 rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
2503 rsvd_bits(maxphyaddr, 51);
2505 rsvd_bits(maxphyaddr, 51);
2508 rsvd_bits(maxphyaddr, 51) |
2509 rsvd_bits(13, 29);
2511 rsvd_bits(maxphyaddr, 51) |
2512 rsvd_bits(13, 20); /* large page */