HomeSort by: relevance | last modified time | path
    Searched defs:gt_record_memory (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/arch/evbppc/ev64260/
machdep.c 105 static inline void gt_record_memory(int, paddr_t, paddr_t, paddr_t);
521 gt_record_memory(int j, paddr_t start, paddr_t end, paddr_t endkernel) function in typeref:typename:void
565 gt_record_memory(j, start, end, endkernel);
571 gt_record_memory(j, start, end, endkernel);

Completed in 11 milliseconds