/seL4-refos-master/libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/ |
H A D | kobject_t.h | 26 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 D | object.h | 18 #include <vka/kobject_t.h>
|
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/ |
H A D | kobject_t.h | 28 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 D | kobject_t.h | 26 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 D | object.h | 18 #include <vka/kobject_t.h>
|
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/ |
H A D | kobject_t.h | 27 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 D | object.h | 16 #include <vka/kobject_t.h>
|
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
H A D | kobject_t.h | 28 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 D | kobject_t.h | 26 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 D | object.h | 18 #include <vka/kobject_t.h>
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/ |
H A D | kobject_t.h | 28 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 D | kobject_t.h | 26 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 D | object.h | 18 #include <vka/kobject_t.h>
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/ |
H A D | kobject_t.h | 27 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 D | kobject_t.h | 28 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 D | kobject_t.h | 20 #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 D | kobject_t.h | 20 #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 D | kobject_t.h | 20 #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 D | kobject_t.h | 20 #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 D | kobject_t.h | 28 typedef int kobject_t; typedef 34 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)
|
H A D | object.h | 15 #include <vka/kobject_t.h>
|
/seL4-refos-master/libs/libsel4vka/arch_include/x86/vka/arch/ |
H A D | kobject_t.h | 20 #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 D | kobject_t.h | 28 typedef int kobject_t; typedef 34 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)
|
H A D | object.h | 15 #include <vka/kobject_t.h>
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ |
H A D | kobject_t.h | 20 #include <vka/sel4_arch/kobject_t.h> 33 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize)
|