Lines Matching refs:Region
223 region_base_name(Region, Name) :-
224 Region = region{node_id: NodeId, blocks: Blocks},
229 region_limit_name(Region, Name) :-
230 Region = region{node_id: NodeId, blocks: Blocks},
249 region_size(Region, Size) :-
250 region{ blocks: Blocks } = Region,
270 to_name(Region,Name) :-
274 } = Region,
311 to_region(Name,Region) :-
319 } = Region,
401 accept(Region) :-
402 region_base_name(Region,Base),
404 region_limit_name(Region,Limit),
612 node_in_use(DRAM_ID, Region),
613 assert(vnode_region(Region)),
614 writeln("Using for PageTables:"), writeln(Region).
716 free_region(Region, Size) :-
717 region_base_name(Region, Name),
721 free_region_aligned(Region, Size) :-
723 region_base_name(Region, BaseName),
728 region_size(Region, Size).
731 free_accepted_region_aligned(Region, Size) :-
733 region_base_name(Region, BaseName),
739 region_size(Region, Size).
742 %free_region(Region) :-
743 % region_size(Region, Size), % Determine size using the base/limit in the region.
744 % free_region(Region, Size).
775 mark_range_in_use(Region) :-
776 Region = region{ node_id: NodeId, blocks: Blocks },