The _ _tbis intrinsic has the following declaration:
void __tbis(void *);
This intrinsic function executes a CALL_PAL TBIS (Translation Buffer Invalidate Single) instruction. The single argument is the virtual address to be invalidated, using the current address space number (ASN). This will invalidate any cached virtual address translations for that address. Note that it is possible on some implementations that additional addresses may also be invalidated.
This intrinsic may only be executed in kernel mode.