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

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c39 size_t dataport_size_bits; member in struct:connection_info
89 .size_bits = info[conn_idx].dataport_size_bits
94 .size_bits = info[conn_idx].dataport_size_bits
212 info->dataport_size_bits = BYTES_TO_SIZE_BITS(size);

Completed in 73 milliseconds