Searched refs:serial_port_count (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/arrakismon/ | ||
H A D | guest.h | 91 size_t serial_port_count; member in struct:guest |
H A D | guest.c | 1304 g->serial_port_count = 4; |
/barrelfish-master/usr/vmkitmon/ | ||
H A D | guest.h | 81 size_t serial_port_count; member in struct:guest |
H A D | guest.c | 832 g->serial_port_count = 4; |
Completed in 40 milliseconds