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