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

/barrelfish-master/include/target/x86_32/barrelfish/
H A Ddispatcher_target.h15 #ifndef TARGET_X86_32_BARRELFISH_DISPATCHER_H
16 #define TARGET_X86_32_BARRELFISH_DISPATCHER_H macro
45 #endif // TARGET_X86_32_BARRELFISH_DISPATCHER_H

Completed in 87 milliseconds