|
Contiki 3.x
|
Data associated with each protection domain that is owned by clients of that domain and used to identify the domain. More...
#include <cpu/x86/mm/tss-prot-domains.h>
Data Fields | |
| uintptr_t | mmio |
| MMIO range base address. | |
| uintptr_t | meta |
| Domain-defined metadata base address. | |
| uint32_t | tss_sel |
| The selector is only 16 bits, but it is padded to 32 bits. More... | |
Data associated with each protection domain that is owned by clients of that domain and used to identify the domain.
Definition at line 247 of file prot-domains.h.
| uint32_t dom_client_data::tss_sel |
The selector is only 16 bits, but it is padded to 32 bits.
Definition at line 61 of file tss-prot-domains.h.
1.8.6