id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	field_blocks	field_dependson	field_seealso
638	Do not use TLBIMVA on ARM920T	Jakub Jermář	Jiri Svoboda	"The ARM920T does not support TLBIMVA (Flush ID single entry), or MCR p15, 0, Rd, c8, c7, 1 and yet invalidate_page() and, by extension, tlb_invalidate_pages() use it:

{{{
static inline void invalidate_page(uintptr_t page)
{
...
	TLBIMVA_write(page);

}}}
"	defect	closed	major	0.7.0	helenos/kernel/arm32	mainline	fixed	ARM920T, ARMv4, gta02				#509