Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/nfsd/nfsxdr.c nfssvc_encode_nfscookie() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 base 1-u32max
PARAM_VALUE 2 obj 2215671545707925504
PARAM_VALUE 3 len 4
BUF_SIZE 2 obj 4
NOCHECK_CALL
UNITS 1 base unit_byte
UNITS 3 len unit_byte

net/sunrpc/auth_gss/gss_krb5_wrap.c rotate_buf_a_little() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 3409919786128875520
PARAM_VALUE 0 buf->len 2-u32max
PARAM_VALUE 0 buf->page_base 0-4095
PARAM_VALUE 1 base 0,32-u32max
PARAM_VALUE 2 obj 6781039784638738432
PARAM_VALUE 3 len 1-32
BUF_SIZE 2 obj 32
CAPPED_DATA 0 buf->len 1
CAPPED_DATA 0 buf->page_len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 buf $0
FUZZY_MAX 1 base 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 len unit_byte

net/sunrpc/auth_gss/gss_krb5_wrap.c rotate_buf_a_little() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 3409919786128875520
PARAM_VALUE 0 buf->len 1-u32max
PARAM_VALUE 0 buf->page_base 0-4095
PARAM_VALUE 2 obj 3818629839592534016
PARAM_VALUE 3 len 1-32
BUF_SIZE 2 obj 32
CAPPED_DATA 0 buf->len 1
CAPPED_DATA 0 buf->page_len 1
CAPPED_DATA 1 base 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 buf $0
DATA_SOURCE 3 len $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 base unit_byte
UNITS 3 len unit_byte

fs/nfsd/nfs3xdr.c nfs3svc_encode_cookie3() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 base 1-u32max
PARAM_VALUE 2 obj 1271378507177631744
PARAM_VALUE 3 len 8
BUF_SIZE 2 obj 8
NOCHECK_CALL
UNITS 1 base unit_byte
UNITS 3 len unit_byte

net/sunrpc/xdr.c xdr_encode_word() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 4224521883557707776
PARAM_VALUE 3 len 4
BUF_SIZE 0 buf (-1),72
BUF_SIZE 0 buf (-1),72
BUF_SIZE 2 obj 4
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 base $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 base unit_byte
UNITS 3 len unit_byte

fs/nfsd/nfs4xdr.c nfsd4_encode_SECINFO4resok() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 4356145573889052672
PARAM_VALUE 3 len 4
BUF_SIZE 2 obj 4
NOCHECK_CALL
UNITS 1 base unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_components_esc() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 8353729888005730304
PARAM_VALUE 2 *obj 0-s32max
PARAM_VALUE 3 len 4
BUF_SIZE 2 obj 4
NOCHECK_CALL
UNITS 1 base unit_byte

fs/nfsd/nfs4xdr.c nfsd4_encode_entry4_nfs_cookie4() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 base 1-u32max
PARAM_VALUE 2 obj 8790267479662616576
PARAM_VALUE 3 len 8
BUF_SIZE 2 obj 8
NOCHECK_CALL
UNITS 1 base unit_byte
UNITS 3 len unit_byte

fs/nfsd/nfs4xdr.c nfsd4_encode_listxattrs() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 541190766177689600
PARAM_VALUE 3 len 8
BUF_SIZE 2 obj 8
NOCHECK_CALL
UNITS 1 base unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_listxattrs() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 1041334425699377152
PARAM_VALUE 3 len 4
BUF_SIZE 2 obj 4
CAPPED_DATA 0 buf->page_len 1
NOCHECK_CALL
UNITS 1 base unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_operation() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 4096-ptr_max
PARAM_VALUE 3 len 4
BUF_SIZE 2 obj 4
PREEMPT_ADD
NOCHECK_CALL
UNITS 1 base unit_byte
UNITS 3 len unit_byte
LOCK2 &nn->client_lock
TYPE_LOCK (struct nfsd_net)->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_read() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 2655880283369869312
PARAM_VALUE 3 len 8
BUF_SIZE 2 obj 8
NOCHECK_CALL
UNITS 1 base unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_read_plus() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 3859668309863677952
PARAM_VALUE 3 len 8
BUF_SIZE 2 obj 8
NOCHECK_CALL
UNITS 1 base unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_read_plus_data() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 7453614856963788800
PARAM_VALUE 3 len 8
BUF_SIZE 2 obj 8
NOCHECK_CALL
UNITS 1 base unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_read_plus_data() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 6713090148505391104
PARAM_VALUE 3 len 4
BUF_SIZE 2 obj 4
CAPPED_DATA 0 buf->page_len 1
NOCHECK_CALL
UNITS 1 base unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_readlink() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 7278700689933631488
PARAM_VALUE 2 *obj 0-4096
PARAM_VALUE 3 len 4
BUF_SIZE 2 obj 4
NOCHECK_CALL
UNITS 1 base unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_readlink() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 6394436865803685888
PARAM_VALUE 2 *obj 0
PARAM_VALUE 3 len 0,4294963200-u32max
BUF_SIZE 2 obj 4
NOCHECK_CALL
UNITS 1 base unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_readv() -> write_bytes_to_xdr_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 obj 5605721681879306240
PARAM_VALUE 2 *obj 0
BUF_SIZE 2 obj 4
NOCHECK_CALL
UNITS 1 base unit_byte
HALF_LOCKED2 &nn->client_lock