Home
last modified time | relevance | path

Searched refs:check (Results 1 – 8 of 8) sorted by relevance

/hafnium-2.8-rc0/
A DMakefile111 .PHONY: check
112 check: $(OUT_DIR)/build.ninja target
116 @find src/ \( -name \*.c \) | xargs clang-check -p $(OUT_DIR) -analyze -fix-what-you-can
117 @find test/ \( -name \*.c \) | xargs clang-check -p $(OUT_DIR) -analyze -fix-what-you-can
/hafnium-2.8-rc0/build/toolchain/
A Doffset_size_header.gni18 # static_asserts to check the values at its compile-time.
59 # This generates static_asserts which check the constants in the generated
/hafnium-2.8-rc0/kokoro/
A Dbuild.sh139 make check
/hafnium-2.8-rc0/test/vmapi/primary_with_secondaries/services/
A DBUILD.gn130 # Service to check that hf_mailbox_receive can't block when there are pending
180 # Service to check that WFI is a no-op when there are pending interrupts.
/hafnium-2.8-rc0/build/bash/
A Dcommon.inc129 # causes `is_repo_dirty` checks to fail. We check out the
141 ## The `is_kokoro_build` check does not work inside container builds.
/hafnium-2.8-rc0/build/image/
A Dimage.ld16 * The following would be useful to check that .init code is not called back
A Dimage.gni56 # Analyze the generated ELF file and check that assembly-level fixes, e.g.
/hafnium-2.8-rc0/docs/
A DChangeLog.md27 on a load/store tag check failure.
53 * FFA_RUN ABI hardened to check the vCPU index matches the PE index onto
166 * FFA_MSG_WAIT input parameters check hardened.

Completed in 13 milliseconds