The _ _tbisasn intrinsic has the following declaration:
void __tbisasn(void *, unsigned long);
This intrinsic function executes a CALL_PAL TBISASN (Translation Buffer Invalidate Single Address Space Number) instruction. The first argument is the virtual address to be invalidated. The second argument is used to specify the address space number to be used. This will invalidate any cached virtual address translations for that address for the specified address space number. As with _ _tbis, some implementations may invalidate more translations than the single one specified.
This intrinsic may only be executed in kernel mode.