arch/x86/boot_arch.c

57 errval_t get_core_info(coreid_t core_id, hwid_t* apic_id, enum cpu_type* cpu_type)
67     *cpu_type = CPU_K1OM;
84     *cpu_type = (enum cpu_type) type;
91 errval_t get_architecture_config(enum cpu_type type,
505                              enum cpu_type cpu_type,
515     err = get_architecture_config(cpu_type, &arch_page_size,
709     if (cpu_type == CPU_X86_64 || cpu_type == CPU_K1OM) {
714     else if (cpu_type == CPU_X86_32) {