Searched refs:create_mapping_pte_return_t (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c861 typedef struct create_mapping_pte_return create_mapping_pte_return_t; typedef in typeref:struct:create_mapping_pte_return
863 static create_mapping_pte_return_t createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_rights_t vmRights,
867 create_mapping_pte_return_t ret;
1042 create_mapping_pte_return_t map_ret;

Completed in 28 milliseconds