Searched defs:initialised (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Ddevice_screen.h31 bool initialised; member in struct:device_screen_state
/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dpager.h32 bool initialised; member in struct:fs_frame_block
/seL4-refos-master/apps/console_server/src/
H A Ddevice_screen.h31 bool initialised; member in struct:device_screen_state
/seL4-refos-master/apps/file_server/src/
H A Dpager.h32 bool initialised; member in struct:fs_frame_block
/seL4-refos-master/libs/librefos/include/refos-util/
H A Dwalloc.h34 bool initialised; member in struct:walloc_state_s
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.h43 bool initialised; member in struct:device_timer_state
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dwalloc.h34 bool initialised; member in struct:walloc_state_s
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.h43 bool initialised; member in struct:device_timer_state

Completed in 35 milliseconds