Lines Matching refs:Region
25 % accept(Region)
412 region_base_name(Region, Name) :-
413 Region = region{node_id: NodeId, blocks: Blocks},
418 region_limit_name(Region, Name) :-
419 Region = region{node_id: NodeId, blocks: Blocks},
438 region_size(Region, Size) :-
439 region{ blocks: Blocks } = Region,
453 region_name_match(Region,Name) :-
457 } = Region,
493 to_region(Name,Region) :-
501 } = Region,
533 accept_region(S, Region) :-
534 Region = region{node_id: RId},
537 region_region_contains(Region, CandidateRegion).
603 split_region(Region, Size, Splits) :-
605 Splits = [Region].
942 in_use(DRAM_ID, Region),
943 assert(vnode_region(Region)),
944 writeln("Using for PageTables:"), writeln(Region).
1034 free_region(S, Region, Size) :-
1035 region_base_name(Region, Name),
1039 free_region_aligned(S, Region, Size) :-
1041 region_base_name(Region, BaseName),
1046 region_size(Region, Size).
1049 free_accepted_region_aligned(S, Region, Size) :-
1051 region_base_name(Region, BaseName),
1057 region_size(Region, Size).
1060 %free_region(Region) :-
1061 % region_size(Region, Size), % Determine size using the base/limit in the region.
1062 % free_region(Region, Size).
1092 mark_range_in_use(S, Region, NewS) :-
1093 Region = region{ node_id: NodeId, blocks: Blocks },