| /seL4-master/include/arch/x86/arch/64/mode/object/ |
| A D | structures.h | 67 #define PML4E_PTR(r) ((pml4e_t *)(r)) argument
68 #define PML4E_PTR_PTR(r) ((pml4e_t **)(r)) argument
71 #define PML4_PTR(r) ((pml4e_t *)(r)) argument
74 #define PDPTE_PTR(r) ((pdpte_t *)(r)) argument
75 #define PDPTE_PTR_PTR(r) ((pdpte_t **)(r)) argument
78 #define PDPT_PTR(r) ((pdpte_t *)(r)) argument
81 #define PDE_PTR(r) ((pde_t *)(r)) argument
82 #define PDE_PTR_PTR(r) ((pde_t **)(r)) argument
85 #define PD_PTR(r) ((pde_t *)(r)) argument
88 #define PTE_PTR(r) ((pte_t *)(r)) argument
[all …]
|
| /seL4-master/include/arch/x86/arch/object/ |
| A D | structures.h | 53 #define VTD_CTE_PTR(r) ((vtd_cte_t*)(r)) argument
58 #define VTD_PTE_PTR(r) ((vtd_pte_t*)(r)) argument
84 #define EPT_PML4E_PTR(r) ((ept_pml4e_t *)(r)) argument
89 #define EPT_PML4_PTR(r) ((ept_pml4e_t *)(r)) argument
97 #define EPT_PDPT_PTR(r) ((ept_pdpte_t *)(r)) argument
100 #define EPT_PDE_PTR(r) ((ept_pde_t *)(r)) argument
101 #define EPT_PDE_PTR_PTR(r) ((ept_pde_t **)(r)) argument
105 #define EPT_PD_PTR(r) ((ept_pde_t *)(r)) argument
108 #define EPT_PTE_PTR(r) ((ept_pte_t *)(r)) argument
112 #define EPT_PT_PTR(r) ((ept_pte_t *)(r)) argument
[all …]
|
| /seL4-master/include/arch/arm/arch/64/mode/object/ |
| A D | structures.h | 74 #define PGDE_PTR(r) ((pgde_t *)(r)) argument
75 #define PGDE_PTR_PTR(r) ((pgde_t **)(r)) argument
78 #define PGD_PTR(r) ((pgde_t *)(r)) argument
81 #define PUDE_PTR(r) ((pude_t *)(r)) argument
82 #define PUDE_PTR_PTR(r) ((pude_t **)(r)) argument
85 #define PUD_PTR(r) ((pude_t *)(r)) argument
88 #define PDE_PTR(r) ((pde_t *)(r)) argument
89 #define PDE_PTR_PTR(r) ((pde_t **)(r)) argument
92 #define PD_PTR(r) ((pde_t *)(r)) argument
95 #define PTE_PTR(r) ((pte_t *)(r)) argument
[all …]
|
| /seL4-master/include/arch/arm/arch/32/mode/object/ |
| A D | structures.h | 52 #define VCPU_PTR(r) ((struct vcpu *)(r)) argument
55 #define PDE_PTR(r) ((pde_t *)(r)) argument
58 #define PDE_PTR_PTR(r) ((pde_t **)r) argument
60 #define PD_PTR(r) ((pde_t *)(r)) argument
71 #define PTE_PTR(r) ((pte_t *)r) argument
74 #define PT_PTR(r) ((pte_t *)r) argument
79 #define LPAE_PGDE_PTR(r) ((lpae_pde_t *)(r)) argument
82 #define LPAE_PGD_PTR(r) ((lpae_pde_t *)(r)) argument
85 #define LPAE_PTE_PTR(r) ((lpae_pte_t *)r) argument
88 #define LPAE_PT_PTR(r) ((lpae_pte_t *)r) argument
[all …]
|
| /seL4-master/include/arch/x86/arch/32/mode/object/ |
| A D | structures.h | 32 #define PDE_PTR(r) ((pde_t *)(r)) argument
33 #define PDE_PTR_PTR(r) ((pde_t **)(r)) argument
36 #define PD_PTR(r) ((pde_t *)(r)) argument
39 #define PTE_PTR(r) ((pte_t *)(r)) argument
42 #define PT_PTR(r) ((pte_t *)(r)) argument
55 #define ASID_POOL_PTR(r) ((asid_pool_t*)r) argument
|
| /seL4-master/include/arch/riscv/arch/object/ |
| A D | structures.h | 29 #define ASID_POOL_PTR(r) ((asid_pool_t*)r) argument
54 #define PTE_PTR(r) ((pte_t *)(r)) argument
58 #define PT_PTR(r) ((pte_t *)(r)) argument
65 #define WORD_PTR(r) ((word_t *)(r)) argument
|
| /seL4-master/include/ |
| A D | bootinfo.h | 14 #define BI_PTR(r) ((seL4_BootInfo*)(r)) argument
|
| /seL4-master/include/object/ |
| A D | structures.h | 55 #define EP_PTR(r) ((endpoint_t *)(r)) argument
58 #define NTFN_PTR(r) ((notification_t *)(r)) argument
61 #define CTE_PTR(r) ((cte_t *)(r)) argument
65 #define CNODE_PTR(r) (CTE_PTR(r)) argument
92 #define TCB_PTR(r) ((tcb_t *)(r)) argument
93 #define TCB_CTE_PTR(r,i) (((cte_t *)(r))+(i)) argument
101 #define SC_PTR(r) ((sched_context_t *) (r)) argument
104 #define REPLY_PTR(r) ((reply_t *) (r)) argument
106 #define WORD_PTR(r) ((word_t *)(r)) argument
|
| /seL4-master/src/api/ |
| A D | faults.c | 82 register_t r = fault_messages[id][i]; in copyMRsFaultReply() local
91 register_t r = fault_messages[id][i]; in copyMRsFaultReply() local
|
| /seL4-master/include/arch/arm/arch/32/mode/ |
| A D | machine_pl2.h | 64 static inline void setVTCR(word_t r) in setVTCR()
71 static inline void setHCR(word_t r) in setHCR()
85 static inline void setHCPTR(word_t r) in setHCPTR()
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | syscalls.h | 13 #define MCS_PARAM_DECL(r) register seL4_Word reply_reg asm(r) = reply argument
16 #define MCS_PARAM_DECL(r) argument
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | syscalls.h | 14 #define MCS_PARAM_DECL(r) register seL4_Word reply_reg asm(r) = reply argument
17 #define MCS_PARAM_DECL(r) argument
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls_sysenter.h | 14 #define MCS_PARAM_DECL(r) register seL4_Word reply_reg asm(r) = reply; argument
17 #define MCS_PARAM_DECL(r) argument
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 729 const p_region_t *r = &available[i]; in check_available_memory() local
762 const region_t *r = &reserved[i]; in check_reserved_memory() local
813 word_t r = 0; in init_freemem() local
|
| /seL4-master/tools/ |
| A D | lex.py | 1100 def TOKEN(r): argument
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 16 #define MCS_PARAM_DECL(r) register seL4_Word reply_reg asm(r) = reply argument
20 #define MCS_PARAM_DECL(r) argument
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 561 uint32_t r; in activate_global_pd() local
|