Searched refs:PG_RW_IDX (Results 1 – 4 of 4) sorted by relevance
281 [PG_RW_IDX] = X86_PG_RW,2519 [PG_RW_IDX] = EPT_PG_WRITE, in pmap_ept_transform()2536 pmap_bits_ept[PG_RW_IDX], in pmap_ept_transform()2538 pmap_bits_ept[PG_RW_IDX], in pmap_ept_transform()2540 pmap_bits_ept[PG_RW_IDX], in pmap_ept_transform()2542 pmap_bits_ept[PG_RW_IDX], in pmap_ept_transform()2589 pmap_bits_default[PG_RW_IDX], in pmap_npt_transform()2591 pmap_bits_default[PG_RW_IDX], in pmap_npt_transform()5734 if (bit_index == PG_RW_IDX) in pmap_clearbit()5749 if (bit_index != PG_RW_IDX) { in pmap_clearbit()[all …]
423 kernel_pmap->pmap_bits[PG_RW_IDX] | in start_all_aps()429 kernel_pmap->pmap_bits[PG_RW_IDX] | in start_all_aps()435 kernel_pmap->pmap_bits[PG_RW_IDX] | in start_all_aps()
2436 kernel_pmap->pmap_bits[PG_RW_IDX] | in getmemsize()
247 PG_RW_IDX, /* Read/Write */ enumerator