/* If JumpBuffer is NULL, then ASSERT(). For IPF CPUs, if JumpBuffer is not aligned on a 16-byte boundary, then ASSERT(). */
VOID EFIAPI InternalAssertJumpBuffer(IN BASE_LIBRARY_JUMP_BUFFER *JumpBuffer)
/* If JumpBuffer is NULL, then ASSERT(). For IPF CPUs, if JumpBuffer is not aligned on a 16-byte boundary, then ASSERT(). */
VOID EFIAPI InternalAssertJumpBuffer(IN BASE_LIBRARY_JUMP_BUFFER *JumpBuffer)
{
  ASSERT (JumpBuffer != NULL);
  ASSERT (((UINTN)JumpBuffer & (BASE_LIBRARY_JUMP_BUFFER_ALIGNMENT - 1)) == 0);
}