Searched defs:io_map (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/model/
H A Dstatedata.h27 word_t io_map[TSS_IO_MAP_SIZE]; member in struct:__anon9
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dio.c109 static UNUSED void *io_map(void *cookie, uintptr_t paddr, size_t size, function

Completed in 29 milliseconds