寻观「标准库」之书。
寻观「裸机后端」之「机器编码」之书。
寻观「裸机后端」之「整数降级」之书。

「：文言：设备已止而撤叶，失效毕乃可复用。汉语：此阶段仅在诊断 DMA 已完成且总线主控已关闭后撤销固定叶项；刷新参数为阴只用于故意漏刷的负对照，不能用于真实页回收。：」
「臂设备页撤销」乃化「爻」而（「列」于「机器片」）也。
「臂设备页撤销」者会「刷新」而「串联」授以「机器片」于（「列」【「臂载常量」于「一」于「一零七四五五六九三六」，「列」【「字片」于「四一七七五二六八四七」，「字片」于「三五七四三零零一九三」，「字片」于「三五七三七五九九零三」】，（若「刷新」则「串联」授以「机器片」于（「列」【「臂载常量」于「一」于「一零七四五六一零七二」，「臂载常量」于「零」于「四八」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一零七四五六一零八八」，「臂载常量」于「零」于「八二六二」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一零七四五六一零二四」，「列」【「字片」于「三五七四三零零一九三」】，「臂载常量」于「一」于「一零七四五六一零八八」，「列」【「字片」于「三五七四三零零一九三」，「字片」于「三五七三七五九九零三」】，「臂载常量」于「一」于「一五一三二二七七六」，「臂载常量」于「零」于「五」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一五一三二二七八零」，「臂载常量」于「四」于「六五五三六」，「臂载常量」于「二」于「五」，「列」【「代码标记」于『臂等撤销同步』，「字片」于「三一零七九七九二九六」，「字片」于「一七九五二九三二一五」，「代码相对」于「三」于『臂撤销同步完成』，「字片」于「一八九五八二六五六四」，「代码相对」于「四」于『臂等撤销同步』，「代码相对」于「一」于『失败』，「代码标记」于『臂撤销同步完成』】，「臂载常量」于「一」于「一五一三二二七二零」，「列」【「字片」于「三一零七九七九二九六」】，「臂载常量」于「二」于「一」，「列」【「字片」于「一七七八五一五九九九」，「代码相对」于「四」于『失败』】】）否则「罄」）】）也。
「兼容设备页撤销」乃化「爻」而（「列」于「机器片」）也。
「兼容设备页撤销」者会「刷新」而「串联」授以「机器片」于（「列」【「兼容载常量」于「二」于「一一七一四六四」，「兼容载常量」于「零」于「零」，「列」【「字节片」于（「列」【「七二」，「一三七」，「二」，「一五」，「一七四」，「二四零」】）】，（若「刷新」则「串联」授以「机器片」于（「列」【「兼容载常量」于「二」于「四二七五六三四一八八」，「列」【「字节片」于（「列」【「一三九」，「二」，「三七」，「零」，「零」，「一九二」，「零」，「六一」，「零」，「零」，「一九二」，「零」】），「代码相对」于「一三」于『失败』】，「兼容载常量」于「二」于「四二七五六三四四二四」，「兼容载常量」于「零」于「零」，「列」【「字节片」于（「列」【「一三七」，「二」】）】，「兼容载常量」于「二」于「四二七五六三四四二八」，「兼容载常量」于「零」于「二四一六一一五七一二」，「列」【「字节片」于（「列」【「一三七」，「二」】）】，「兼容载常量」于「二」于「四二七五六三四四二八」，「兼容载常量」于「一」于「六五五三六」，「列」【「代码标记」于『兼容等撤销失效』，「字节片」于（「列」【「一三九」，「二」，「三七」，「零」，「零」，「零」，「一二八」，「六一」，「零」，「零」，「零」，「零」】），「代码相对」于「一二」于『兼容等撤销失效成』，「字节片」于（「列」【「二五五」，「二零一」】），「代码相对」于「一三」于『兼容等撤销失效』，「代码相对」于「一一」于『失败』，「代码标记」于『兼容等撤销失效成』】，「兼容载常量」于「二」于「四二七五六三四四二八」，「兼容载常量」于「一」于「六五五三六」，「列」【「代码标记」于『兼容核撤销范围』，「字节片」于（「列」【「一三九」，「二」，「三七」，「零」，「零」，「零」，「一四」，「六一」，「零」，「零」，「零」，「二」】），「代码相对」于「一二」于『兼容核撤销范围成』，「字节片」于（「列」【「二五五」，「二零一」】），「代码相对」于「一三」于『兼容核撤销范围』，「代码相对」于「一一」于『失败』，「代码标记」于『兼容核撤销范围成』】】）否则「罄」）】）也。
「：文言：授区须齐页而有界。汉语：此内部构建接口只生成页表，调用者负责证明整段物理内存属于被授权任务；不是向客体开放的任意物理映射接口。：」
「设备区参数合法」乃化「整数」而化「整数」而「爻」也。
「设备区参数合法」者会「首」而会「数」而「且」于（「且」于（「大于」于「数」于「零」）于（「非」于（「大于」于「数」于「一二八」）））于（「且」于（「且」于（「非」于（「小于」于「首」于「零」））于（「等于」于（「整数余数」于「首」于「四零九六」）于「零」））于（「非」于（「大于」于「首」于（「减」于「四二九四九六七二九六」于（「乘」于「数」于「四零九六」）））））也。
「：文言：核立四级页表，设备虚址映所授实页，失效而待同步。汉语：建立最多一百二十八页连续设备地址空间，IOVA 0x1000 起映射至调用者确定的物理区间；旧诊断入口仍只映射专用测试页；页表、上下文及同步队列由内核持有。支持只读或读写，不是通用映射系统调用。：」
「臂设备区映射初置」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「臂设备区映射初置」者会「只读」而会「物理首」而会「页数」而
 若「非」于（「设备区参数合法」于「物理首」于「页数」）则「发生事故」于『设备映射须页齐、非空且不超过一百二十八页与三十二位物理地址』否则
 「串联」授以「机器片」于（「列」【「臂载常量」于「一」于「一五一三二二六四四」，「列」【「字片」于「三一零七九七九二九六」】，「臂载常量」于「二」于「一六」，「列」【「字片」于「一七七八五一五九九九」，「代码相对」于「三」于『失败』】，「臂载常量」于「三」于「一零七四五四零五四四」，「臂载常量」于「四」于「三零七二」，「列」【「代码标记」于『臂清设备映射』，「字片」于「四一七七五二六九一一」，「字片」于「二四三二七零四六一一」，「字片」于「一八九五八二六五六四」，「代码相对」于「四」于『臂清设备映射』】，「臂载常量」于「一」于「一零七四五四零五四八」，「臂载常量」于「零」于「九零六二四」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一零七四五四零五四四」，「臂载常量」于「零」于「三二二一二二五四八八」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一零七四五四零五五二」，「臂载常量」于「零」于「一零七四五四四六四零」，「列」【「字片」于「四一七七五二六八一六」】，「臂载常量」于「一」于「一零七四五四零五六八」，「臂载常量」于「零」于「二五五」，「列」【「字片」于「四一七七五二六八一六」】，「臂载常量」于「一」于「一零七四五四四六四零」，「臂载常量」于「零」于「一零七四五四八七三九」，「列」【「字片」于「四一七七五二六八一六」】，「臂载常量」于「一」于「一零七四五四八七三六」，「臂载常量」于「零」于「一零七四五五二八三五」，「列」【「字片」于「四一七七五二六八一六」】，「臂载常量」于「一」于「一零七四五五二八三二」，「臂载常量」于「零」于「一零七四五五六九三一」，「列」【「字片」于「四一七七五二六八一六」】，「串联」授以「机器片」于（「态射」授以「整数」授以（「列」于「机器片」）于（「整数范围」于「零」于「页数」）于（会「页」而「串联」授以「机器片」于（「列」【「臂载常量」于「一」于（「加」于「一零七四五五六九三六」于（「乘」于「页」于「八」）），「臂载常量」于「零」于（「加」于（「加」于「物理首」于（「乘」于「页」于「四零九六」））于（若「只读」则「一九八七」否则「一八五九」）），「列」【「字片」于「四一七七五二六八一六」】】））），「臂载常量」于「一」于「一零七四五六一零二四」，「臂载常量」于「零」于「四」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一零七四五六一零三二」，「臂载常量」于「零」于「三一」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一零七四五六一零四零」，「臂载常量」于「零」于「四八」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一零七四五六一零五六」，「臂载常量」于「零」于「八二六二」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「三」于「一零七四五四零五四四」，「臂载常量」于「四」于「三八四」，「列」【「代码标记」于『臂发布设备页』，「字片」于「三五七四三零零一九五」，「字片」于「二四三二七六一九五五」，「字片」于「一八九五八二六五六四」，「代码相对」于「四」于『臂发布设备页』，「字片」于「三五七三七五九九零三」】，「臂载常量」于「一」于「一零七四五三零三一二」，「臂载常量」于「零」于「二」，「列」【「字片」于「四一七七五二六八一六」】，「臂载常量」于「一」于「一零七四五三零三零四」，「臂载常量」于「零」于「一零七四五四零五五五」，「列」【「字片」于「四一七七五二六八一六」】，「臂载常量」于「三」于「一零七四五三零三零四」，「臂载常量」于「四」于「一」，「列」【「代码标记」于『臂发布设备流』，「字片」于「三五七四三零零一九五」，「字片」于「二四三二七六一九五五」，「字片」于「一八九五八二六五六四」，「代码相对」于「四」于『臂发布设备流』，「字片」于「三五七三七五九九零三」】，「臂载常量」于「一」于「一五一三二二七六八」，「臂载常量」于「零」于「一零七四五六一零三二」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一五一三二二七七二」，「臂载常量」于「零」于「零」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一五一三二二七七六」，「臂载常量」于「零」于「零」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一五一三二二七八零」，「臂载常量」于「零」于「零」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一五一三二二六五六」，「臂载常量」于「零」于「一三」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一五一三二二六六零」，「臂载常量」于「四」于「六五五三六」，「列」【「代码标记」于『臂等命令队列』，「字片」于「三一零七九七九二九六」】，「臂载常量」于「二」于「一三」，「列」【「字片」于「一七九五二九三二一五」，「代码相对」于「三」于『臂等命令队列成』，「字片」于「一八九五八二六五六四」，「代码相对」于「四」于『臂等命令队列』，「代码相对」于「一」于『失败』，「代码标记」于『臂等命令队列成』】，「臂载常量」于「一」于「一五一三二二七七六」，「臂载常量」于「零」于「三」，「列」【「字片」于「三一零三七八四九九二」】，「臂载常量」于「一」于「一五一三二二七八零」，「臂载常量」于「四」于「六五五三六」，「列」【「代码标记」于『臂等映射同步』，「字片」于「三一零七九七九二九六」】，「臂载常量」于「二」于「三」，「列」【「字片」于「一七九五二九三二一五」，「代码相对」于「三」于『臂等映射同步成』，「字片」于「一八九五八二六五六四」，「代码相对」于「四」于『臂等映射同步』，「代码相对」于「一」于『失败』，「代码标记」于『臂等映射同步成』】，「臂载常量」于「一」于「一五一三二二七二零」，「列」【「字片」于「三一零七九七九二九六」】，「臂载常量」于「二」于「一」，「列」【「字片」于「一七七八五一五九九九」，「代码相对」于「四」于『失败』】】）也。
「兼容设备区映射初置」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「兼容设备区映射初置」者会「只读」而会「物理首」而会「页数」而
 若「非」于（「设备区参数合法」于「物理首」于「页数」）则「发生事故」于『设备映射须页齐、非空且不超过一百二十八页与三十二位物理地址』否则
 「串联」授以「机器片」于（「列」【「兼容载常量」于「二」于「四二七五六三四一八四」，「列」【「字节片」于（「列」【「一三九」，「二」，「一六九」，「零」，「四」，「零」，「零」】），「代码相对」于「一二」于『失败』】，「兼容载常量」于「七」于「一一五五零七二」，「兼容载常量」于「一」于「五一二零」，「列」【「字节片」于（「列」【「四九」，「一九二」，「二五二」，「二四三」，「一七一」】）】，「兼容载常量」于「二」于「一一五五五八四」，「兼容载常量」于「零」于「一一五九一六九」，「列」【「字节片」于（「列」【「七二」，「一三七」，「二」】）】，「兼容载常量」于「二」于「一一五五五九二」，「兼容载常量」于「零」于「二五八」，「列」【「字节片」于（「列」【「七二」，「一三七」，「二」】）】，「兼容载常量」于「二」于「一一五九一六八」，「兼容载常量」于「零」于「一一六三二六七」，「列」【「字节片」于（「列」【「七二」，「一三七」，「二」】）】，「兼容载常量」于「二」于「一一六三二六四」，「兼容载常量」于「零」于「一一六七三六三」，「列」【「字节片」于（「列」【「七二」，「一三七」，「二」】）】，「兼容载常量」于「二」于「一一六七三六零」，「兼容载常量」于「零」于「一一七一四五九」，「列」【「字节片」于（「列」【「七二」，「一三七」，「二」】）】，「串联」授以「机器片」于（「态射」授以「整数」授以（「列」于「机器片」）于（「整数范围」于「零」于「页数」）于（会「页」而「串联」授以「机器片」于（「列」【「兼容载常量」于「二」于（「加」于「一一七一四六四」于（「乘」于「页」于「八」）），「兼容载常量」于「零」于（「加」于（「加」于「物理首」于（「乘」于「页」于「四零九六」））于（若「只读」则「一」否则「三」）），「列」【「字节片」于（「列」【「七二」，「一三七」，「二」】）】】））），「列」【「字节片」于（「列」【「一五」，「一七四」，「二四零」】）】，「兼容载常量」于「二」于「一一四六八八零」，「兼容载常量」于「零」于「一一五五零七三」，「列」【「字节片」于（「列」【「七二」，「一三七」，「二」】）】，「列」【「字节片」于（「列」【「一五」，「一七四」，「二四零」】）】，「兼容载常量」于「二」于「四二七五六三四二一六」，「兼容载常量」于「零」于「零」，「列」【「字节片」于（「列」【「一三七」，「二」】）】，「兼容载常量」于「二」于「四二七五六三四二二零」，「兼容载常量」于「零」于「二六八四三五四五六零」，「列」【「字节片」于（「列」【「一三七」，「二」】）】，「兼容载常量」于「二」于「四二七五六三四二二零」，「兼容载常量」于「一」于「六五五三六」，「列」【「代码标记」于『兼容等上下文失效』，「字节片」于（「列」【「一三九」，「二」，「三七」，「零」，「零」，「零」，「一二八」，「六一」，「零」，「零」，「零」，「零」】），「代码相对」于「一二」于『兼容等上下文失效成』，「字节片」于（「列」【「二五五」，「二零一」】），「代码相对」于「一三」于『兼容等上下文失效』，「代码相对」于「一一」于『失败』，「代码标记」于『兼容等上下文失效成』】，「兼容载常量」于「二」于「四二七五六三四二二零」，「兼容载常量」于「一」于「六五五三六」，「列」【「代码标记」于『兼容核上下文范围』，「字节片」于（「列」【「一三九」，「二」，「三七」，「零」，「零」，「零」，「二四」，「六一」，「零」，「零」，「零」，「八」】），「代码相对」于「一二」于『兼容核上下文范围成』，「字节片」于（「列」【「二五五」，「二零一」】），「代码相对」于「一三」于『兼容核上下文范围』，「代码相对」于「一一」于『失败』，「代码标记」于『兼容核上下文范围成』】，「兼容载常量」于「二」于「四二七五六三四四二四」，「兼容载常量」于「零」于「零」，「列」【「字节片」于（「列」【「一三七」，「二」】）】，「兼容载常量」于「二」于「四二七五六三四四二八」，「兼容载常量」于「零」于「二四一五九一九一零四」，「列」【「字节片」于（「列」【「一三七」，「二」】）】，「兼容载常量」于「二」于「四二七五六三四四二八」，「兼容载常量」于「一」于「六五五三六」，「列」【「代码标记」于『兼容等设备页失效』，「字节片」于（「列」【「一三九」，「二」，「三七」，「零」，「零」，「零」，「一二八」，「六一」，「零」，「零」，「零」，「零」】），「代码相对」于「一二」于『兼容等设备页失效成』，「字节片」于（「列」【「二五五」，「二零一」】），「代码相对」于「一三」于『兼容等设备页失效』，「代码相对」于「一一」于『失败』，「代码标记」于『兼容等设备页失效成』】，「兼容载常量」于「二」于「四二七五六三四四二八」，「兼容载常量」于「一」于「六五五三六」，「列」【「代码标记」于『兼容核设备页范围』，「字节片」于（「列」【「一三九」，「二」，「三七」，「零」，「零」，「零」，「一四」，「六一」，「零」，「零」，「零」，「二」】），「代码相对」于「一二」于『兼容核设备页范围成』，「字节片」于（「列」【「二五五」，「二零一」】），「代码相对」于「一三」于『兼容核设备页范围』，「代码相对」于「一一」于『失败』，「代码标记」于『兼容核设备页范围成』】】）也。

「臂设备映射初置」乃化「爻」而（「列」于「机器片」）也。
「臂设备映射初置」者会「只读」而「臂设备区映射初置」于「只读」于「一零七四五三六四四八」于「一」也。

「兼容设备映射初置」乃化「爻」而（「列」于「机器片」）也。
「兼容设备映射初置」者会「只读」而「兼容设备区映射初置」于「只读」于「一一五零九七六」于「一」也。
