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