tail head cat sleep
QR code linking to this page

Man page  — KASSERT

명칭

KASSERT – 커널 수식 검증 매크로

내용

서식

options INVARIANTS

#include <sys/param.h>
#include <sys/systm.h>

KASSERT(expression, msg);

해설

options INVARIANTS 옵션 첨부로 컴파일 된 커널내에서는, KASSERT() 매크로는 주어진 수식 expression (을)를 테스트해, 그것이 가짜인 경우에는 panic(9) 함수를 호출해, 가동중의 시스템을 정지시킵니다.

options INVARIANTS 옵션이 없는 커널내에서는, KASSERT() 매크로는 아무것도 하지 않게 정의됩니다.

사용예

커널 함수 vput() (은)는, NULL 포인터를 인수로서 불려 가 되지 않습니다.
void
vput(vp)
        struct vnode *vp;
{
        struct proc *p = curproc;
        KASSERT(vp ! = NULL, ("vput: null vp"));
        ...
}

msg (은)는 환괄호로 둘러싸이지 않으면 안됩니다.

관련 항목

config(8), panic(9)

저자

이 메뉴얼 페이지는 Jonathan M. Bresler <jmb@FreeBSD.org> 하지만 썼습니다.

KASSERT (9) January 14, 2000

tail head cat sleep
QR code linking to this page


Ben Bullock이 유닉스 매뉴얼 페이지에서 서비스에 대한 의견을 주시기 바랍니다. Privacy policy.

When people say "Drive safe!" I'm like no, a safe is for keeping money, I drive car.
— Artur Bagyants