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

/barrelfish-master/kernel/include/
H A Dkernel_multiboot.h25 #define MBADDR_ASSTRING(vaddr) (char * NTS)TC((uintptr_t)(local_phys_to_mem(vaddr))) macro
/barrelfish-master/kernel/arch/arm/
H A Dmultiboot.c47 const char *modname = MBADDR_ASSTRING(mod[i].string), *endstr;
/barrelfish-master/kernel/arch/x86/
H A Dmultiboot.c44 const char *modname = MBADDR_ASSTRING(mod[i].string), *endstr;
H A Dstartup_x86.c181 strcpy((char *)mmstrings, MBADDR_ASSTRING(m->string));
182 mmstrings += strlen(MBADDR_ASSTRING(m->string)) + 1;
463 cmdline = MBADDR_ASSTRING(glbl_core_data->cmdline);
/barrelfish-master/kernel/arch/armv7/
H A Dstartup_arch.c242 strcpy((char *)mmstrings, MBADDR_ASSTRING(m->string));
243 mmstrings += strlen(MBADDR_ASSTRING(m->string)) + 1;
/barrelfish-master/kernel/arch/x86_64/
H A Dstartup_arch.c156 char *mmap_addr = MBADDR_ASSTRING(glbl_core_data->mmap_addr);
/barrelfish-master/kernel/arch/k1om/
H A Dstartup_arch.c159 char *mmap_addr = MBADDR_ASSTRING(glbl_core_data->mmap_addr);
/barrelfish-master/kernel/arch/x86_32/
H A Dstartup_arch.c159 char *mmap_addr = MBADDR_ASSTRING(glbl_core_data->mmap_addr);

Completed in 177 milliseconds