id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	field_blocks	field_dependson	field_seealso
727	pt_mapping_remove needs TLB shootdown before freeing frames	Jiří Zárevúcky		"`pt_mapping_remove` frees page table frames without any synchronization. This is incorrect on SMP systems. On some platfroms, intermediate page table addresses may be cached in TLB. On all platforms, a concurrent page table walk on another CPU could access page table contents after the frame has been recycled.

To solve this issue, the function needs to perform TLB shootdown after the empty page table is removed from the tree, but before it is freed."	defect	closed	major	0.7.2	helenos/unspecified	mainline	invalid