Searched refs:kern_phys_start (Results 1 – 2 of 2) sorted by relevance
18 static phys_bytes kern_phys_start = (phys_bytes) &_kern_phys_base; variable187 u32_t mapped = 0, kern_phys = kern_phys_start; in pg_mapkernel()190 assert(!(kern_phys_start % ARM_SECTION_SIZE)); in pg_mapkernel()
15 static phys_bytes kern_phys_start = (phys_bytes) &_kern_phys_base; variable189 u32_t mapped = 0, kern_phys = kern_phys_start; in pg_mapkernel()