Searched defs:base_address (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ | ||
H A D | hpet.h | 19 acpi_GAS_t base_address; member in struct:acpi_hpet |
H A D | spcr.h | 20 acpi_GAS_t base_address; member in struct:acpi_spcr |
H A D | dmar.h | 80 uint64_t base_address; member in struct:acpi_dmar_rmrr 111 uint64_t base_address; member in struct:acpi_dmar_rhsa |
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ | ||
H A D | vspace.c | 1912 word_t base_address = pte_pte_small_get_address(pte); local 1946 word_t base_address = pde_pde_section_get_address(pde); local |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ | ||
H A D | guest_boot_info.h | 175 uint16_t base_address; member in struct:edd_device_params::__anon48::__anon49 |
Completed in 37 milliseconds