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

/barrelfish-master/include/target/x86/barrelfish_kpi/
H A Dcoredata_target.h55 uint8_t memory_bits; member in struct:x86_core_data
/barrelfish-master/kernel/arch/x86/
H A Dstartup_x86.c560 app_alloc_phys_end = ((lpaddr_t)1 << core_data->memory_bits) +
/barrelfish-master/usr/drivers/cpuboot/arch/x86/
H A Dboot_arch.c679 core_data->memory_bits = log2ceil(spawn_memory_identity.bytes);

Completed in 32 milliseconds