context_flush
context_flush(immu, function_mask, source_id, domain_id, CONTEXT_FSI);
context_flush(immu, 0, 0, domain_id, CONTEXT_DSI);
context_flush(immu, 0, 0, 0, CONTEXT_GLOBAL);