ppc_pte_t Struct Reference

Data Fields
uint32_t	vsid_api
uint32_t	rpn_flags

---

Detailed Description

Definition at line 109 of file space.c.

---

Field Documentation

uint32_t ppc_pte_t::rpn_flags

Definition at line 112 of file space.c.

uint32_t ppc_pte_t::vsid_api

Definition at line 111 of file space.c.

---

The documentation for this struct was generated from the following file:

• /home/julien/wip/pok/kernel/arch/ppc/space.c