/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | null-vka.h | 15 #include <vka/vka.h> 20 void vka_init_nullvka(vka_t *vka);
|
H A D | debug-vka.h | 15 #include <vka/vka.h> 22 * vka - A structure to populate with this allocator's implementation 29 int vka_init_debugvka(vka_t *vka, vka_t *tracee);
|
H A D | vka.h | 26 #include <vka/cspacepath_t.h> 130 typedef struct vka { struct 142 static inline int vka_cspace_alloc(vka_t *vka, seL4_CPtr *res) argument 144 if (!vka) { 145 ZF_LOGE("vka is NULL"); 154 if (!vka->cspace_alloc) { 159 return vka->cspace_alloc(vka->data, res); 162 static inline void vka_cspace_make_path(vka_t *vka, seL4_CPtr slot, cspacepath_t *res) argument 169 if (!vka) { 183 vka_cspace_alloc_path(vka_t *vka, cspacepath_t *res) argument 195 vka_cspace_free(vka_t *vka, seL4_CPtr slot) argument 212 vka_cspace_free_path(vka_t *vka, cspacepath_t path) argument 217 vka_utspace_alloc(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 238 vka_utspace_alloc_maybe_device(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 259 vka_utspace_alloc_at(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument 278 vka_utspace_free(vka_t *vka, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 296 vka_utspace_paddr(vka_t *vka, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | null-vka.h | 15 #include <vka/vka.h> 20 void vka_init_nullvka(vka_t *vka);
|
H A D | debug-vka.h | 15 #include <vka/vka.h> 22 * vka - A structure to populate with this allocator's implementation 29 int vka_init_debugvka(vka_t *vka, vka_t *tracee);
|
H A D | vka.h | 26 #include <vka/cspacepath_t.h> 130 typedef struct vka { struct 142 static inline int vka_cspace_alloc(vka_t *vka, seL4_CPtr *res) argument 144 if (!vka) { 145 ZF_LOGE("vka is NULL"); 154 if (!vka->cspace_alloc) { 159 return vka->cspace_alloc(vka->data, res); 162 static inline void vka_cspace_make_path(vka_t *vka, seL4_CPtr slot, cspacepath_t *res) argument 169 if (!vka) { 183 vka_cspace_alloc_path(vka_t *vka, cspacepath_t *res) argument 195 vka_cspace_free(vka_t *vka, seL4_CPtr slot) argument 212 vka_cspace_free_path(vka_t *vka, cspacepath_t path) argument 217 vka_utspace_alloc(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 238 vka_utspace_alloc_maybe_device(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 259 vka_utspace_alloc_at(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument 278 vka_utspace_free(vka_t *vka, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 296 vka_utspace_paddr(vka_t *vka, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument [all...] |
/seL4-refos-master/libs/libsel4allocman/include/allocman/ |
H A D | vka.h | 15 #include <vka/vka.h> 21 * @param vka structure for the vka interface object 22 * @param alloc allocator to be used with this vka 25 void allocman_make_vka(vka_t *vka, allocman_t *alloc); 34 * @param vka Interface to proxy calls to 38 int allocman_make_from_vka(vka_t *vka, allocman_t *alloc);
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | vka.h | 15 #include <vka/vka.h> 21 * @param vka structure for the vka interface object 22 * @param alloc allocator to be used with this vka 25 void allocman_make_vka(vka_t *vka, allocman_t *alloc); 34 * @param vka Interface to proxy calls to 38 int allocman_make_from_vka(vka_t *vka, allocman_t *alloc);
|
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
H A D | object.h | 15 #include <vka/vka.h> 16 #include <vka/kobject_t.h> 19 static inline int vka_alloc_pml4(vka_t *vka, vka_object_t *result) argument 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PML4, 0), seL4_PML4Bits, result); 24 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument 26 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result); 32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 34 return vka_alloc_pml4(vka, result);
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
H A D | object.h | 15 #include <vka/vka.h> 16 #include <vka/kobject_t.h> 19 static inline int vka_alloc_pml4(vka_t *vka, vka_object_t *result) argument 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PML4, 0), seL4_PML4Bits, result); 24 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument 26 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result); 32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 34 return vka_alloc_pml4(vka, result);
|
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/ |
H A D | object.h | 17 #include <vka/vka.h> 18 #include <vka/kobject_t.h> 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 23 return vka_alloc_page_directory(vka, result);
|
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/ |
H A D | object.h | 17 #include <vka/vka.h> 18 #include <vka/kobject_t.h> 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 23 return vka_alloc_page_directory(vka, result);
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/ |
H A D | object.h | 17 #include <vka/vka.h> 18 #include <vka/kobject_t.h> 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 23 return vka_alloc_page_directory(vka, result);
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/ |
H A D | object.h | 17 #include <vka/vka.h> 18 #include <vka/kobject_t.h> 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 23 return vka_alloc_page_directory(vka, result);
|
/seL4-refos-master/libs/libsel4platsupport/arch_include/x86/sel4platsupport/arch/ |
H A D | io.h | 17 #include <vka/vka.h> 25 * @param vka VKA interface for allocating capabilities and other reswources. This pointer needs 30 int sel4platsupport_get_io_port_ops(ps_io_port_ops_t *ops, simple_t *simple, vka_t *vka);
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/arch_include/x86/sel4platsupport/arch/ |
H A D | io.h | 17 #include <vka/vka.h> 25 * @param vka VKA interface for allocating capabilities and other reswources. This pointer needs 30 int sel4platsupport_get_io_port_ops(ps_io_port_ops_t *ops, simple_t *simple, vka_t *vka);
|
/seL4-refos-master/libs/libsel4vka/arch_include/x86/vka/arch/ |
H A D | object.h | 15 #include <vka/vka.h> 16 #include <vka/kobject_t.h> 18 #include <vka/sel4_arch/object.h> 22 static inline int vka_alloc_vcpu (vka_t *vka, vka_object_t *result) argument 24 return vka_alloc_object(vka, seL4_X86_VCPUObject, seL4_X86_VCPUBits, result); 27 static inline int vka_alloc_ept_page_directory_pointer_table (vka_t *vka, vka_object_t *result) argument 29 return vka_alloc_object(vka, seL4_X86_EPTPDPTObject, seL4_X86_EPTPDPTBits, result); 32 static inline int vka_alloc_ept_page_directory (vka_t *vka, vka_object_t *result) argument 34 return vka_alloc_object(vka, seL4_X86_EPTPDObjec 37 vka_alloc_ept_page_table(vka_t *vka, vka_object_t *result) argument 41 vka_alloc_ept_pdpt(vka_t *vka, vka_object_t *result) argument 45 vka_alloc_ept_pml4(vka_t *vka, vka_object_t *result) argument 51 vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument [all...] |
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/ |
H A D | object.h | 15 #include <vka/vka.h> 16 #include <vka/kobject_t.h> 19 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result); 39 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 42 return vka_alloc_pdpt(vka, result); 44 return vka_alloc_page_directory(vka, result);
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ |
H A D | object.h | 15 #include <vka/vka.h> 16 #include <vka/kobject_t.h> 18 #include <vka/sel4_arch/object.h> 22 static inline int vka_alloc_vcpu (vka_t *vka, vka_object_t *result) argument 24 return vka_alloc_object(vka, seL4_X86_VCPUObject, seL4_X86_VCPUBits, result); 27 static inline int vka_alloc_ept_page_directory_pointer_table (vka_t *vka, vka_object_t *result) argument 29 return vka_alloc_object(vka, seL4_X86_EPTPDPTObject, seL4_X86_EPTPDPTBits, result); 32 static inline int vka_alloc_ept_page_directory (vka_t *vka, vka_object_t *result) argument 34 return vka_alloc_object(vka, seL4_X86_EPTPDObjec 37 vka_alloc_ept_page_table(vka_t *vka, vka_object_t *result) argument 41 vka_alloc_ept_pdpt(vka_t *vka, vka_object_t *result) argument 45 vka_alloc_ept_pml4(vka_t *vka, vka_object_t *result) argument 51 vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/ |
H A D | object.h | 15 #include <vka/vka.h> 16 #include <vka/kobject_t.h> 19 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result); 39 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 42 return vka_alloc_pdpt(vka, result); 44 return vka_alloc_page_directory(vka, result);
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | slab.h | 14 #include <vka/vka.h>
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | slab.h | 14 #include <vka/vka.h>
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
H A D | vka.h | 18 #include <vka/vka.h> 20 /* This is a proxy allocator that just passes any allocs/frees to a vka interface */ 23 vka_t *vka = (vka_t*)_cspace; local 25 vka_cspace_make_path(vka, slot, &path); 31 vka_t *vka = (vka_t*)_cspace; local 33 return vka_cspace_alloc_path(vka, slot); 37 vka_t *vka = (vka_t*)_cspace; local 39 vka_cspace_free(vka, slot->capPtr); 46 * @param vka Allocato 49 cspace_vka_make_interface(vka_t *vka) argument [all...] |
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/ |
H A D | object.h | 15 #include <vka/vka.h> 16 #include <vka/kobject_t.h> 19 static inline int vka_alloc_page_global_directory(vka_t *vka, vka_object_t *result) argument 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_GLOBAL_DIRECTORY, 0), seL4_PGDBits, result); 24 static inline int vka_alloc_page_upper_directory(vka_t *vka, vka_object_t *result) argument 26 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_UPPER_DIRECTORY, 0), seL4_PUDBits, result); 32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 35 return vka_alloc_page_upper_directory(vka, result); 37 return vka_alloc_page_global_directory(vka, resul [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
H A D | vka.h | 18 #include <vka/vka.h> 20 /* This is a proxy allocator that just passes any allocs/frees to a vka interface */ 23 vka_t *vka = (vka_t*)_cspace; local 25 vka_cspace_make_path(vka, slot, &path); 31 vka_t *vka = (vka_t*)_cspace; local 33 return vka_cspace_alloc_path(vka, slot); 37 vka_t *vka = (vka_t*)_cspace; local 39 vka_cspace_free(vka, slot->capPtr); 46 * @param vka Allocato 49 cspace_vka_make_interface(vka_t *vka) argument [all...] |