Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 12:57:27
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:is_spillable_regtype

Proto:static bool is_spillable_regtype(enum bpf_reg_type type)

Type:bool

Parameter:

TypeParameterName
enum bpf_reg_typetype
1903  Case type == g points to map element value
1904  Case type == points to map elem value or NULL
1905  Case type == g == frame_pointer + offset
1906  Case type == g points to bpf_context
1907  Case type == g points to skb->data
1908  Case type == skb->data - meta_len
1909  Case type == skb->data + headlen
1910  Case type == g points to bpf_flow_keys
1911  Case type == g points to struct bpf_map
1912  Case type == g points to struct bpf_sock
1913  Case type == g points to struct bpf_sock or NULL
1914  Case type == g points to sock_common
1915  Case type == g points to sock_common or NULL
1916  Case type == g points to struct tcp_sock
1917  Case type == g points to struct tcp_sock or NULL
1918  Case type == g points to struct xdp_sock
1919  Return true
1920  Default
1921  Return false
Caller
NameDescribe
check_stack_writeheck_stack_read/write functions track spill/fill of registers,* stack boundary and alignment are checked in check_mem_access()