Symbol: gt_record_memory
sys/arch/evbppc/ev64260/machdep.c
105
static inline void gt_record_memory(int, paddr_t, paddr_t, paddr_t);
sys/arch/evbppc/ev64260/machdep.c
565
gt_record_memory(j, start, end, endkernel);
sys/arch/evbppc/ev64260/machdep.c
571
gt_record_memory(j, start, end, endkernel);