Searched refs:PI_PLATFORM_PC (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/include/barrelfish_kpi/ | ||
| H A D | platform.h | 31 PI_PLATFORM_PC, enumerator in enum:pi_platform |
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | syscall.c | 717 pi->platform = PI_PLATFORM_PC; |
Completed in 90 milliseconds