Searched refs:kobject_t (Results 1 - 25 of 46) sorted by relevance

12

/seL4-refos-master/libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/
H A Dkobject_t.h26 typedef int kobject_t; typedef
32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize)
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize)
H A Dobject.h18 #include <vka/kobject_t.h>
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/
H A Dkobject_t.h28 typedef int kobject_t; typedef
34 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize)
54 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize)
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/
H A Dkobject_t.h26 typedef int kobject_t; typedef
32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize)
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize)
H A Dobject.h18 #include <vka/kobject_t.h>
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/
H A Dkobject_t.h27 typedef int kobject_t; typedef
33 static inline seL4_Word x86_mode_kobject_get_size(kobject_t type, seL4_Word UNUSED objectSize)
44 static inline seL4_Word x86_mode_kobject_get_type(kobject_t type, seL4_Word UNUSED objectSize)
H A Dobject.h16 #include <vka/kobject_t.h>
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/
H A Dkobject_t.h28 typedef int kobject_t; typedef
34 static inline seL4_Word x86_mode_kobject_get_size(kobject_t type, seL4_Word objectSize)
52 static inline seL4_Word x86_mode_kobject_get_type(kobject_t type, seL4_Word objectSize)
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/
H A Dkobject_t.h26 typedef int kobject_t; typedef
32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize)
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize)
H A Dobject.h18 #include <vka/kobject_t.h>
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/
H A Dkobject_t.h28 typedef int kobject_t; typedef
34 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize)
54 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize)
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/
H A Dkobject_t.h26 typedef int kobject_t; typedef
32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize)
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize)
H A Dobject.h18 #include <vka/kobject_t.h>
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/
H A Dkobject_t.h27 typedef int kobject_t; typedef
33 static inline seL4_Word x86_mode_kobject_get_size(kobject_t type, seL4_Word UNUSED objectSize)
44 static inline seL4_Word x86_mode_kobject_get_type(kobject_t type, seL4_Word UNUSED objectSize)
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/
H A Dkobject_t.h28 typedef int kobject_t; typedef
34 static inline seL4_Word x86_mode_kobject_get_size(kobject_t type, seL4_Word objectSize)
52 static inline seL4_Word x86_mode_kobject_get_type(kobject_t type, seL4_Word objectSize)
/seL4-refos-master/libs/libsel4vka/include/vka/
H A Dkobject_t.h20 #include <vka/arch/kobject_t.h>
40 DEPRECATED("Use KOBJECT_NOTIFICATION") static const kobject_t KOBJECT_ASYNC_ENDPOINT = KOBJECT_NOTIFICATION;
41 DEPRECATED("Use KOBJECT_ENDPOINT") static const kobject_t KOBJECT_SYNC_ENDPOINT = KOBJECT_ENDPOINT;
47 static inline seL4_Word kobject_get_size(kobject_t type, seL4_Word objectSize)
82 static inline seL4_Word kobject_get_type(kobject_t type, seL4_Word objectSize)
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dkobject_t.h20 #include <vka/arch/kobject_t.h>
40 DEPRECATED("Use KOBJECT_NOTIFICATION") static const kobject_t KOBJECT_ASYNC_ENDPOINT = KOBJECT_NOTIFICATION;
41 DEPRECATED("Use KOBJECT_ENDPOINT") static const kobject_t KOBJECT_SYNC_ENDPOINT = KOBJECT_ENDPOINT;
47 static inline seL4_Word kobject_get_size(kobject_t type, seL4_Word objectSize)
82 static inline seL4_Word kobject_get_type(kobject_t type, seL4_Word objectSize)
/seL4-refos-master/libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h20 #include <vka/sel4_arch/kobject_t.h>
32 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)
49 static inline seL4_Word arch_kobject_get_type(kobject_t type, seL4_Word objectSize)
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h20 #include <vka/sel4_arch/kobject_t.h>
32 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)
49 static inline seL4_Word arch_kobject_get_type(kobject_t type, seL4_Word objectSize)
/seL4-refos-master/libs/libsel4vka/arch_include/riscv/vka/arch/
H A Dkobject_t.h28 typedef int kobject_t; typedef
34 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)
H A Dobject.h15 #include <vka/kobject_t.h>
/seL4-refos-master/libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h20 #include <vka/sel4_arch/kobject_t.h>
33 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/
H A Dkobject_t.h28 typedef int kobject_t; typedef
34 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)
H A Dobject.h15 #include <vka/kobject_t.h>
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h20 #include <vka/sel4_arch/kobject_t.h>
33 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)

Completed in 53 milliseconds

12