/* No code here since kernel implements this itself */