Searched defs:function (Results 1 - 7 of 7) sorted by relevance
/seL4-test-master/kernel/src/ |
H A D | assert.c | 12 _fail( const char *s, const char *file, unsigned int line, const char *function) argument 28 _assert_fail( const char *assertion, const char *file, unsigned int line, const char *function) argument
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | strerror.c | 62 __sel4_error(int sel4_error, const char *file, const char *function, int line, char * str) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | cpuid.c | 41 static int vm_cpuid_virt(unsigned int function, unsigned int index, struct cpuid_val *val, vm_vcpu_t *vcpu) argument 383 unsigned int function, index; local [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | dmar.h | 44 uint8_t function; member in struct:acpi_device_path
|
H A D | asf.h | 70 uint8_t function; member in struct:acpi_asf_ctl_array
|
/seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | test.h | 128 test_fn function; member in struct:testcase
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
H A D | guest_boot_info.h | 182 uint8_t function; member in struct:edd_device_params::__anon58::__anon60
|
Completed in 43 milliseconds