Searched refs:vka (Results 1 - 25 of 222) sorted by relevance

123456789

/seL4-refos-master/libs/libsel4vka/include/vka/
H A Dnull-vka.h15 #include <vka/vka.h>
20 void vka_init_nullvka(vka_t *vka);
H A Ddebug-vka.h15 #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 Dvka.h26 #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 Dnull-vka.h15 #include <vka/vka.h>
20 void vka_init_nullvka(vka_t *vka);
H A Ddebug-vka.h15 #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 Dvka.h26 #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 Dvka.h15 #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 Dvka.h15 #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 Dobject.h15 #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 Dobject.h15 #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 Dobject.h17 #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 Dobject.h17 #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 Dobject.h17 #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 Dobject.h17 #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 Dio.h17 #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 Dio.h17 #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 Dobject.h15 #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 Dobject.h15 #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 Dobject.h15 #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 Dobject.h15 #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 Dslab.h14 #include <vka/vka.h>
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dslab.h14 #include <vka/vka.h>
/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/
H A Dvka.h18 #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 Dobject.h15 #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 Dvka.h18 #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...]

Completed in 78 milliseconds

123456789