/* Undoes effect of sfi_map_table() by unmapping table if it did not completely fit on same page as SYST.  */
void sfi_unmap_table(struct sfi_table_header *th)
/* Undoes effect of sfi_map_table() by unmapping table if it did not completely fit on same page as SYST.  */
void sfi_unmap_table(struct sfi_table_header *th)
{
	if (!TABLE_ON_PAGE(syst_va, th, th->len))
		sfi_unmap_memory(th, TABLE_ON_PAGE(th, th, th->len) ?
					sizeof(*th) : th->len);
}