Adrian Danis d3c9f36d94 manual: Correct asidpool assign label ... Fixes an inconsistency between manual_label for the x86 AsidPool_Assign invocation and its reference in the manual. This makes the x86 align with the ARM name.		2017-09-18 14:01:22 +10:00
..
arm	SELFOUR-912: migrate ARM docs from latex to xml	2017-06-29 12:06:39 +10:00
x86	manual: Correct asidpool assign label	2017-09-18 14:01:22 +10:00