asid_or_range
struct asid_or_range delegations[8];
add_as_delegation(ASIdentifiers *asid, const struct asid_or_range *delegation)
build_asid(const struct asid_or_range delegations[])
const struct asid_or_range *delegation;
struct asid_or_range delegationsA[8];
struct asid_or_range delegationsB[8];