- p -

• PA1 : mmu_sd_ssec_s
• PA2 : mmu_sd_ssec_s
• paddr_base : hardware_def
• pages : page_table
• part_number : reg_midr_u
• partition : partition_id
• PD0 : reg_ttbcr_u
• PD1 : reg_ttbcr_u
• pipflags : user_ctx_s
• pmsa_support : reg_mmfr0_u
• present : callgate_descriptor_s , idt_int_trap_entry_s , idt_task_entry_s , page_table_entry , segment_descriptor_s , tss_descriptor_s
• prev_tss : tss_s
• ptbaddr : mmu_sd_pt_s
• pxn : mmu_sd_pt_s , mmu_sd_sec_s , mmu_sd_ssec_s